diff options
Diffstat (limited to 'MAKEALL')
-rwxr-xr-x | MAKEALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -702,7 +702,7 @@ build_target() { if [ $BUILD_MANY == 1 ] ; then trap - TERM - ${MAKE} -s tidy + ${MAKE} -s clean if [ -s ${LOG_DIR}/${target}.ERR ] ; then cp ${LOG_DIR}/${target}.ERR ${OUTPUT_PREFIX}/ERR/${target} |