diff options
-rwxr-xr-x | MAKEALL | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -709,7 +709,11 @@ build_targets() { : $((CURRENT_CNT += 1)) rm -f "${donep}${TOTAL_CNT}" rm -f "${skipp}${TOTAL_CNT}" - build_target ${t} ${TOTAL_CNT} & + if [ $BUILD_MANY == 1 ] ; then + build_target ${t} ${TOTAL_CNT} & + else + build_target ${t} ${TOTAL_CNT} + fi fi # We maintain a running count of all the builds we have done. @@ -745,8 +749,6 @@ print_stats() { if [ $BUILD_MANY == 1 ] && [ -e "${OUTPUT_PREFIX}/ERR" ] ; then ERR_LIST=$(ls ${OUTPUT_PREFIX}/ERR/) ERR_CNT=`ls -1 ${OUTPUT_PREFIX}/ERR/ | wc | awk '{print $1}'` - else - ERR_CNT=0 fi echo "" |