Compile IMAIL in --batch-mode.

diff --git a/src/Makefile.in b/src/Makefile.in
index e129d1827bdac12a3af8b0f516715792dfa875f5..f51862f7871bc70cb545ffaae84a01477374cfd0 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -537,7 +537,7 @@ compile-imail: lib/compiler.com
         echo '  (with-working-directory-pathname "imail"' && \
         echo '    (lambda ()' && \
         echo '      (load "compile"))))') \
-       | ./microcode/scheme --library lib --band lib/compiler.com
+       | ./microcode/scheme --batch-mode --library lib --band lib/compiler.com
 
 # **** Legacy serialized targets ****