diff options
Diffstat (limited to 'Build/source/utils/xindy/configure.ac')
-rw-r--r-- | Build/source/utils/xindy/configure.ac | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/configure.ac b/Build/source/utils/xindy/configure.ac index 2f7ae1cbcf8..b2e690293cb 100644 --- a/Build/source/utils/xindy/configure.ac +++ b/Build/source/utils/xindy/configure.ac @@ -92,7 +92,6 @@ if test "x$CLISP" = xno; then Please install clisp or specify the clisp executable location via the CLISP=... configure argument.]) else - test -x "$CLISP" || TL_MSG_ERROR([clisp is not executable: $CLISP]) AC_MSG_CHECKING([for clisp library directory]) CLISP_LIB=`$CLISP -q -norc -x '(progn (princ *lib-directory*) (values))'` AC_MSG_RESULT([$CLISP_LIB]) |