diff options
-rwxr-xr-x | Build/source/utils/xindy/rte/ordrules/link.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/rte/ordrules/link.sh b/Build/source/utils/xindy/rte/ordrules/link.sh index acc843285a0..ce63f387501 100755 --- a/Build/source/utils/xindy/rte/ordrules/link.sh +++ b/Build/source/utils/xindy/rte/ordrules/link.sh @@ -1,10 +1,11 @@ +#!/bin/sh file_list='' mod_list='' if test -r ordrulei.c; then file_list="$file_list"' ordrulei.o' mod_list="$mod_list"' ordrulei' fi -make clisp-module CC="${CC}" CFLAGS="${CFLAGS}" INCLUDES="$absolute_linkkitdir" +${MAKE-make} clisp-module CC="${CC}" CFLAGS="${CFLAGS}" INCLUDES="$absolute_linkkitdir" NEW_FILES="$file_list ordrules.o rxsub.o" NEW_LIBS="$file_list ordrules.o rxsub.o" NEW_MODULES="$mod_list" |