From d824e377fa8e7f9b2107657d0d46277fbc098acd Mon Sep 17 00:00:00 2001 From: Matthias Benkard Date: Thu, 8 Oct 2009 12:39:51 +0200 Subject: Update build scripts. Ignore-this: bb3af5ab17cf5242a9d6980023dcb945 darcs-hash:5cb26f36c421790ac815acb1f6462da5508e8507 --- make-core-image.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'make-core-image.sh') diff --git a/make-core-image.sh b/make-core-image.sh index d85dc93..9f36e16 100755 --- a/make-core-image.sh +++ b/make-core-image.sh @@ -2,7 +2,7 @@ clisp -q -q -on-error exit <