diff --git a/releng/inc/releng_getopts.inc b/releng/inc/releng_getopts.inc index b29d62a0..f2b1171a 100644 --- a/releng/inc/releng_getopts.inc +++ b/releng/inc/releng_getopts.inc @@ -49,7 +49,9 @@ cleanup() { # now call the nastiness chmod +w -R ${GEN_DATA_DIR} rm -rf ${GEN_DATA_DIR} + boldify printf "${SELF}: Removed (self-generated) %s\n" ${GEN_DATA_DIR} + unboldify else printf "${SELF}: FAIL: Safety check for being in releng_generated_data directory.\n" printf "${SELF}: FAIL: GREP returned empty string: ${RET_NON_EMPTY_STRING}.\n"