diff --git a/releng/releng_isojigdo b/releng/releng_isojigdo index 42c708ef..1f003e49 100755 --- a/releng/releng_isojigdo +++ b/releng/releng_isojigdo @@ -51,12 +51,12 @@ cleanup() { cd "${START_DIR_DONT_CHANGE}" || exit 15 chmod +w -R ${GEN_DATA_DIR} rm -rf ${GEN_DATA_DIR} - printf "${SELF}: Removed %s\n" ${GEN_DATA_DIR} + printf "${SELF}: Removed (self-generated) %s\n" ${GEN_DATA_DIR} else printf "${SELF}: ${GEN_DATA_DIR} does not exist. Nothing to clean.\n" fi else - printf "${SELF}: Leaving %s\n" ${GEN_DATA_DIR} + printf "${SELF}: Leaving (self-generated) %s\n" ${GEN_DATA_DIR} fi }