diff options
author | Vladimir Volovich <vvv@vsu.ru> | 2008-03-23 19:22:24 +0000 |
---|---|---|
committer | Vladimir Volovich <vvv@vsu.ru> | 2008-03-23 19:22:24 +0000 |
commit | 905752d1cb8bf610e1197db3a44f05f82c3f4c09 (patch) | |
tree | 707183090659720bd12a717a50cd6a64f39960b1 /Build/source/utils/xindy/configure | |
parent | 5dfd5af605b9ce96df7d176b6d27b73ed0db86d9 (diff) |
configure.ac: more portable code
rte/Makefile.am: small cleanup (get rid of RM_R variable, use rm -rf)
git-svn-id: svn://tug.org/texlive/trunk@7098 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xindy/configure')
-rwxr-xr-x | Build/source/utils/xindy/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/configure b/Build/source/utils/xindy/configure index 4c91b4153c3..2a50374275d 100755 --- a/Build/source/utils/xindy/configure +++ b/Build/source/utils/xindy/configure @@ -4951,7 +4951,7 @@ echo "$as_me: error: clisp binary is not executable: $CLISP" >&2;} { (exit 1); exit 1; }; } { echo "$as_me:$LINENO: checking for clisp library directory" >&5 echo $ECHO_N "checking for clisp library directory... $ECHO_C" >&6; } - CLISP_LIB=$($CLISP -q -norc -x '(progn (princ *lib-directory*) (values))') + CLISP_LIB=`$CLISP -q -norc -x '(progn (princ *lib-directory*) (values))'` { echo "$as_me:$LINENO: result: $CLISP_LIB" >&5 echo "${ECHO_T}$CLISP_LIB" >&6; } test -f "$CLISP_LIB/clisp-link" || { { echo "$as_me:$LINENO: error: expected file is not found: $CLISP_LIB/clisp-link" >&5 |