diff --git a/releng/run_all_releng b/releng/run_all_releng index 263e0a0f..b37f9869 100755 --- a/releng/run_all_releng +++ b/releng/run_all_releng @@ -83,7 +83,14 @@ fi printf "done in ${TS} sec. ok." ;; *) - printf "done in ${TS} sec. FAIL. EXIT CODE: $RET;" + if which tput >/dev/null 2>&1; then + printf "done in ${TS} sec." + tput smso + printf " FAIL. EXIT CODE: $RET;" + tput rmso + else + printf "done in ${TS} sec. FAIL. EXIT CODE: $RET;" + fi ;; esac set -e @@ -150,7 +157,14 @@ fi fi # - printf "\n${SELF}: Leaving the following cruft in ${GEN_DATA_DIR}:\n" + if which tput >/dev/null 2>&1; then + tput smso + printf "\n${SELF}: Leaving the following cruft in ${GEN_DATA_DIR}:\n" + tput rmso + else + printf "\n${SELF}: Leaving the following cruft in ${GEN_DATA_DIR}:\n" + fi + ls -lth "${GEN_DATA_DIR}" # Fin