|
@@ -709,7 +709,11 @@ build_targets() {
|
|
: $((CURRENT_CNT += 1))
|
|
: $((CURRENT_CNT += 1))
|
|
rm -f "${donep}${TOTAL_CNT}"
|
|
rm -f "${donep}${TOTAL_CNT}"
|
|
rm -f "${skipp}${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
|
|
fi
|
|
|
|
|
|
# We maintain a running count of all the builds we have done.
|
|
# 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
|
|
if [ $BUILD_MANY == 1 ] && [ -e "${OUTPUT_PREFIX}/ERR" ] ; then
|
|
ERR_LIST=$(ls ${OUTPUT_PREFIX}/ERR/)
|
|
ERR_LIST=$(ls ${OUTPUT_PREFIX}/ERR/)
|
|
ERR_CNT=`ls -1 ${OUTPUT_PREFIX}/ERR/ | wc | awk '{print $1}'`
|
|
ERR_CNT=`ls -1 ${OUTPUT_PREFIX}/ERR/ | wc | awk '{print $1}'`
|
|
- else
|
|
|
|
- ERR_CNT=0
|
|
|
|
fi
|
|
fi
|
|
|
|
|
|
echo ""
|
|
echo ""
|