[project @ 2000-06-12 16:59:54 by panne]

Added a few lines how to pass global options, just for oblivious
people like me.  :-}

diff --git a/ghc/tests/README b/ghc/tests/README
index 67f1a34..0054e5d 100644 (file)
--- a/ghc/tests/README
+++ b/ghc/tests/README
@@ -16,6 +16,10 @@ the resulting output with that specified in the file reader001.stderr.
 
 "make all" run all tests.
 
+If you want to set compilation options globally from the commandline,
+use `make EXTRA_HC_OPTS="-foo-option -blah', for global runstdtest options
+use EXTRA_RUNTEST_OPTS.
+
 -------------------------------------------------------------------------------
                        ADDING A NEW TEST
 -------------------------------------------------------------------------------