diff --git a/releng/inc/releng_getopts.inc b/releng/inc/releng_getopts.inc index ed53da99..2d2490c4 100644 --- a/releng/inc/releng_getopts.inc +++ b/releng/inc/releng_getopts.inc @@ -89,7 +89,7 @@ check_for_xorriso() { if test -z "$RELENG_XORRISO" -o "$RELENG_XORRISO" = "0" then print_help - print_specific_help +# print_specific_help echo "${SELF}: Need -x absolute or relative path to binary to be run." echo exit 31 @@ -97,7 +97,7 @@ check_for_xorriso() { if [ x"$1" = x"-x" -a ! -x "$RELENG_XORRISO" ] then print_help - print_specific_help +# print_specific_help echo "${SELF}: Path given by option -x does not lead to an executable file." echo "Given is: '$RELENG_XORRISO'" if test "$RELENG_XORRISO" = "xorriso"