diff --git a/contrib/ports/unix/example_app/iteropts.sh b/contrib/ports/unix/example_app/iteropts.sh index d828e363..05ec0314 100755 --- a/contrib/ports/unix/example_app/iteropts.sh +++ b/contrib/ports/unix/example_app/iteropts.sh @@ -17,7 +17,14 @@ do rm $EXAPPDIR/lwipopts_test.h # cat the file to update its timestamp cat $f > $EXAPPDIR/lwipopts_test.h - make TESTFLAGS="-DLWIP_OPTTEST_FILE -Wno-documentation" -j 4 1> $BUILDLOG 2>&1 || (RETVAL=1; echo file $f failed >> $LOGFILE; echo ++++++++ $f FAILED +++++++; cat $BUILDLOG) + make TESTFLAGS="-DLWIP_OPTTEST_FILE -Wno-documentation" -j 4 1> $BUILDLOG 2>&1 + ERR=$? + if [ $ERR != 0 ]; then + cat $BUILDLOG + echo file $f failed with $ERR >> $LOGFILE + echo ++++++++ $f FAILED +++++++ + RETVAL=1 + fi echo test $f done >> $LOGFILE done echo done, cleaning