diff --git a/releng/inc/releng_getopts.inc b/releng/inc/releng_getopts.inc index f2b1171a..92d883b5 100644 --- a/releng/inc/releng_getopts.inc +++ b/releng/inc/releng_getopts.inc @@ -69,7 +69,9 @@ cleanup() { printf "${SELF}: ${GEN_DATA_DIR} does not exist. Nothing to clean.\n" fi else + boldify printf "${SELF}: Leaving (self-generated) %s\n" ${GEN_DATA_DIR} + unboldify fi }