diff options
| -rwxr-xr-x | regress/regress.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/regress/regress.sh b/regress/regress.sh index 24048b34..1e17f3a8 100755 --- a/regress/regress.sh +++ b/regress/regress.sh @@ -4,6 +4,12 @@ MANDOC=${MANDOC:-../mandoc} NROFF=${NROFF:-nroff} OUTPUT=${NROFF_OUTPUT:--Tascii} +if [ ! -x $MANDOC ] +then + echo "regress.sh: command not found: $MANDOC" 1>&2 + return 0 +fi + check_skip_list() { [ -f skip_list ] || return 1 while read file; do |