From 69b05f7d61507e3a698d39015aaba82dcc1d9573 Mon Sep 17 00:00:00 2001
From: sperber <sperber>
Date: Tue, 20 Aug 2002 14:22:09 +0000
Subject: [PATCH] Remove superfluous ,keep line.

---
 Makefile.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 5dd65a5..2da2b45 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -873,7 +873,6 @@ scsh/scsh.image: $(VM) $(SCHEME) $(IMAGE)
 	 echo ",open ccp-lib"; \
 	 echo ",batch off"; \
 	 echo ",open scsh-top-package"; \
-	 echo ",keep names maps files source tabulate"; \
 	 echo "(dump-scsh \"scsh/scsh.image\")"; \
 	 echo ",batch on") \
 	| ./$(VM) -o ./$(VM) -i $(IMAGE) -h 10000000