junkudo d69d692203 CoinHSL : Prevent CoinHSL from building in parallel (#6715) ... CoinHSL does not seem to be able to be built in parallel. This commit forces serial compilation.		2017-12-19 08:30:39 +01:00
..
spack	CoinHSL : Prevent CoinHSL from building in parallel (#6715)	2017-12-19 08:30:39 +01:00