From 15937a1a4f1cf40bc55aa34eb71c67b88466ff57 Mon Sep 17 00:00:00 2001 From: Matthias Benkard Date: Fri, 30 Oct 2009 20:45:40 +0100 Subject: Update build scripts. Ignore-this: d92417cd0e6528a1be2808f7060d91a6 darcs-hash:1d70dd932f38b6b8a9a590c1717c7f4d433c5361 --- make-core-image.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'make-core-image.sh') diff --git a/make-core-image.sh b/make-core-image.sh index 9f36e16..4b21207 100755 --- a/make-core-image.sh +++ b/make-core-image.sh @@ -2,8 +2,11 @@ clisp -q -q -on-error exit <