summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/texk/dvipng/configure3
-rw-r--r--Build/source/texk/dvipng/configure.ac3
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])