diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-10 14:23:39 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-10 14:23:39 +0000 |
| commit | bf215142653f26451bd3f6a0fe7216b056ad3c96 (patch) | |
| tree | 376bbf99c7ff9284274619e3ffa261231e50f8e5 /Build/source/utils/xindy/configure | |
| parent | fb208458531f4362d2b794f246c70ccb126c403c (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-x | Build/source/utils/xindy/configure | 12 |
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))'` |