diff --git a/build/build.sh b/build/build.sh index b3541fe1a3b52ac1f924f856f36f911befb27b04..ed1476cad585f55f07aa3ad7547942966da46b5b 100644 --- a/build/build.sh +++ b/build/build.sh @@ -81,8 +81,7 @@ CPUS=$(grep -c processor /proc/cpuinfo) while read line; do if [[ $line == *GluonTarget* ]]; then targ=$(echo $line | sed -e 's/^.*GluonTarget//' -e 's/^,//' -e 's/)).*//' -e 's/[,]/-/') - make GLUON_TARGET=$targ BROKEN=1 GLUON_BRANCH=$GLUON_BRANCH || exit 1 - #make -j $((CPUS*2)) GLUON_TARGET=$targ BROKEN=1 GLUON_BRANCH=$GLUON_BRANCH V=s || exit 1 + make -j $((CPUS*2)) GLUON_TARGET=$targ BROKEN=1 GLUON_BRANCH=$GLUON_BRANCH || exit 1 fi; done < "targets/targets.mk" make manifest GLUON_BRANCH=$GLUON_BRANCH