diff --git a/build/target.sh b/build/target.sh index 46b86c98b6284c09197ac8f41a6ec5fb08739867..6b652b2bc037fbbf89d567687c725ca75a47e6c3 100644 --- a/build/target.sh +++ b/build/target.sh @@ -25,7 +25,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 -j $((CPUS*2)) 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 fi; done < "targets/targets.mk" make manifest GLUON_BRANCH=$GLUON_BRANCH