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