added two scripts for building gnu gcc and mpss gcc (both are broken sofar)
[barrelfish] / tools / k1om / broken / gcc-4.8.2-barrelfish.patch
2014-08-20 Reto Achermannpatches for the mpss gcc