Quieted make a little.
[barrelfish] / hake / Config.hs.linaro-gcc-4.8-2015.06
2015-08-28 David CockMade optimisation flags overridable per-platform.
2015-08-12 David CockToolchain selection when bootstrapping builds