Commit c6b83819 authored by simonmar's avatar simonmar

[project @ 2003-01-09 15:51:10 by simonmar]

Suppress printing of the runstdtest command line in GHCi mode.
parent 29e07092
......@@ -60,7 +60,7 @@ runtests ::
@echo "Main.main" >>$(STDIN)
@cat /dev/null $(STDIN_FILE) >> $(STDIN)
echo $(GHCI_HC_OPTS)
-i $(STDIN) \
$(addprefix -o1 ,$(wildcard $(NOFIB_PROG).stdout*)) \
$(addprefix -o2 ,$(wildcard $(NOFIB_PROG).stderr*)) \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment