summaryrefslogtreecommitdiff
path: root/Build/source/utils/xindy/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-05-10 14:23:39 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-05-10 14:23:39 +0000
commitbf215142653f26451bd3f6a0fe7216b056ad3c96 (patch)
tree376bbf99c7ff9284274619e3ffa261231e50f8e5 /Build/source/utils/xindy/configure
parentfb208458531f4362d2b794f246c70ccb126c403c (diff)
build system: remove some unused files
git-svn-id: svn://tug.org/texlive/trunk@13030 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xindy/configure')
-rwxr-xr-xBuild/source/utils/xindy/configure12
1 files changed, 0 insertions, 12 deletions
diff --git a/Build/source/utils/xindy/configure b/Build/source/utils/xindy/configure
index b765d554fab..e4aeeb429be 100755
--- a/Build/source/utils/xindy/configure
+++ b/Build/source/utils/xindy/configure
@@ -4118,18 +4118,6 @@ fi
else
- test -x "$CLISP" || if test "x$enable_build" = xno; then
- { $as_echo "$as_me:$LINENO: WARNING: building xindy has been disabled and would fail because
-clisp is not executable: $CLISP" >&5
-$as_echo "$as_me: WARNING: building xindy has been disabled and would fail because
-clisp is not executable: $CLISP" >&2;}
-else
- { { $as_echo "$as_me:$LINENO: error: clisp is not executable: $CLISP" >&5
-$as_echo "$as_me: error: clisp is not executable: $CLISP" >&2;}
- { (exit 1); exit 1; }; }
-fi
-
-
{ $as_echo "$as_me:$LINENO: checking for clisp library directory" >&5
$as_echo_n "checking for clisp library directory... " >&6; }
CLISP_LIB=`$CLISP -q -norc -x '(progn (princ *lib-directory*) (values))'`