--- ptex-src-2.1.10/Makefile.in.orig	Thu Feb  8 17:56:34 2001
+++ ptex-src-2.1.10/Makefile.in	Tue Jun 12 00:17:58 2001
@@ -179,11 +179,11 @@
 
 ptex.fmt: ptex texmf.cnf
 	$(dumpenv) $(MAKE) $(makeargs) files="--progname=ptex ptex.tex min10.tfm" prereq-check
-	$(dumpenv) ./ptex -ini \\input ptex \\dump </dev/null
+	$(dumpenv) ./ptex --interaction=batchmode -ini \\input ptex \\dump
 
 platex.fmt: ptex texmf.cnf
 	$(dumpenv) $(MAKE) $(makeargs) files="--progname=platex platex.ltx" prereq-check
-	$(dumpenv) ./ptex -ini --progname=platex \\input platex.ltx </dev/null
+	$(dumpenv) ./ptex --interaction=batchmode -ini --progname=platex \\input platex.ltx || true
 
 # This is meant to be called recursively, with $(files) set.
 prereq-check: $(kpathsea_dir)/kpsewhich
