diff options
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/source/texk/dvipng/configure | 3 | ||||
| -rw-r--r-- | Build/source/texk/dvipng/configure.ac | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/Build/source/texk/dvipng/configure b/Build/source/texk/dvipng/configure index c2d1f23bd31..8c32876bb2f 100755 --- a/Build/source/texk/dvipng/configure +++ b/Build/source/texk/dvipng/configure @@ -2181,7 +2181,8 @@ fi if test -n "$GS"; then - ; else + true + else GS="gs" { $as_echo "$as_me:$LINENO: WARNING: Cannot find GhostScript in your PATH" >&5 $as_echo "$as_me: WARNING: Cannot find GhostScript in your PATH" >&2;} diff --git a/Build/source/texk/dvipng/configure.ac b/Build/source/texk/dvipng/configure.ac index 7bef5380434..7c0d6aa9dd9 100644 --- a/Build/source/texk/dvipng/configure.ac +++ b/Build/source/texk/dvipng/configure.ac @@ -32,7 +32,8 @@ AC_ARG_WITH(gs, fi], [AC_CHECK_PROG(GS,gs,gs) if test -n "$GS"; then - ; dnl --skip, karl GS_CHECK_DEVICES + true + dnl --skip, karl GS_CHECK_DEVICES else GS="gs" AC_MSG_WARN([Cannot find GhostScript in your PATH]) |