From: simonmar <unknown>
Date: Mon, 22 May 2000 13:27:00 +0000 (+0000)
Subject: [project @ 2000-05-22 13:27:00 by simonmar]
X-Git-Tag: Approximately_9120_patches~4415
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=795aef7bdb68161d74cae0879369775c36fb692e;p=ghc-hetmet.git

[project @ 2000-05-22 13:27:00 by simonmar]
Complain about unrecognised warning options.
---

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 536efe7..40e9707 100644
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -1114,6 +1114,7 @@ sub setupLinkOpts {
           ,'-u', "${uscore}PrelException_NonTermination_closure"
           ,'-u', "${uscore}PrelException_PutFullMVar_closure"
           ,'-u', "${uscore}PrelException_BlockedOnDeadMVar_closure"
+          ,'-u', "${uscore}PrelWeak_runFinalizzerBatch_closure"
           ,'-u', "${uscore}__init_Prelude"
           ,'-u', "${uscore}__init_PrelMain"
 	));
@@ -3275,7 +3276,13 @@ arg: while($_ = $Args[0]) {
 
     # --------------- Warnings etc. ------
 
-    /^-fwarn-(.*)$/      && do { push(@HsC_flags, $_); next arg; };
+    /^-fwarn-(.*)$/ && do { if (!grep(/$1/,@MinusWallOpts)) {
+				print STDERR "$Pgm: unrecognised warning option: $_\n";
+				$Status++;
+			    } else {				
+				push(@HsC_flags, $_); 
+			    }
+			    next arg; };
 
     /^-fno-(.*)$/   && do { push(@HsC_antiflags, "-f$1");
 			    &squashHscFlag("-f$1");