diff --git a/releng/inc/releng_getopts.inc b/releng/inc/releng_getopts.inc index e20c58dc..fc7954a3 100644 --- a/releng/inc/releng_getopts.inc +++ b/releng/inc/releng_getopts.inc @@ -58,9 +58,9 @@ cleanup() { # now call the nastiness chmod -R +w ${GEN_DATA_DIR} rm -rf ${GEN_DATA_DIR} - boldify +# boldify printf "${SELF}: Removed (self-generated) %s\n" ${GEN_DATA_DIR} - unboldify +# unboldify else printf "FAIL : ${SELF} : Safety check for being in releng_generated_data directory.\n" printf "FAIL : ${SELF} : GREP returned empty string: ${RET_NON_EMPTY_STRING}.\n" @@ -78,9 +78,9 @@ cleanup() { printf "${SELF}: ${GEN_DATA_DIR} does not exist. Nothing to clean.\n" fi else - boldify +# boldify printf "${SELF}: Leaving (self-generated) %s\n" ${GEN_DATA_DIR} - unboldify +# unboldify fi }