diff options
Diffstat (limited to 'Build/source/utils/xindy-old/rte/ordrules/link.sh')
-rwxr-xr-x | Build/source/utils/xindy-old/rte/ordrules/link.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Build/source/utils/xindy-old/rte/ordrules/link.sh b/Build/source/utils/xindy-old/rte/ordrules/link.sh deleted file mode 100755 index ce63f387501..00000000000 --- a/Build/source/utils/xindy-old/rte/ordrules/link.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/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-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" -TO_LOAD='ordrulei version' |