diff --git a/releng/manual_isojigdo b/releng/manual_isojigdo index e5ba4e1d..4d7796ac 100755 --- a/releng/manual_isojigdo +++ b/releng/manual_isojigdo @@ -245,10 +245,12 @@ if [ -f "${TMP_DATA_DIR}"/"${REMOTE_IMG}" ]; then fi # last hints -printf "\n${SELF}: HINT: manual checks remained to be done:\n" -printf " * ${GEN_DATA_DIR}/${RELENG_IMG}.iso boots from USB stick and/or optical media.\n" -printf " * appended FAT partition is mountable.\n" -printf " * xorriso -indev ${GEN_DATA_DIR}/${RELENG_IMG}.iso -pvd_info\n" -printf " * fdisk -lu ${GEN_DATA_DIR}/${RELENG_IMG}.iso\n" +if [ -d ${GEN_DATA_DIR} ]; then + printf "\n${SELF}: HINT: manual checks remained to be done:\n" + printf " * ${GEN_DATA_DIR}/${RELENG_IMG}.iso boots from USB stick and/or optical media.\n" + printf " * appended FAT partition is mountable.\n" + printf " * xorriso -indev ${GEN_DATA_DIR}/${RELENG_IMG}.iso -pvd_info\n" + printf " * fdisk -lu ${GEN_DATA_DIR}/${RELENG_IMG}.iso\n" +fi exit 0