From 8cf518ad64b404d6693b40aabeaaf357b5c0ef51 Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Mon, 12 Jun 2000 16:59:54 +0000
Subject: [PATCH] [project @ 2000-06-12 16:59:54 by panne] Added a few lines
 how to pass global options, just for oblivious people like me.  :-}

---
 ghc/tests/README | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ghc/tests/README b/ghc/tests/README
index 67f1a34a3109..0054e5deb6a3 100644
--- 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
 -------------------------------------------------------------------------------
-- 
GitLab