From: partain <unknown>
Date: Mon, 22 Jan 1996 18:59:42 +0000 (+0000)
Subject: [project @ 1996-01-22 18:59:42 by partain]
X-Git-Tag: Approximately_1000_patches_recorded~942
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=da61874293fdcf7c22117d3f2d1022d3981a1862;hp=9e5c5b07fc8f957adfa507955e5c40069cabc5c3;p=ghc-hetmet.git

[project @ 1996-01-22 18:59:42 by partain]
Add -no-hi-diffs flag (from dnt)
---

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 7f00cd2..8ccef55 100644
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -601,8 +601,9 @@ arg: while($_ = $ARGV[0]) {
     /^-nohi$/	    && do { $ProduceHi = 0; next arg; };
     # don't generate an interface (even if generating C)
 
-    /^-hi-diffs$/   && do { $HiDiff_flag = 1; next arg; };
-    # show diffs if the interface file changes
+    /^-hi-diffs$/    && do { $HiDiff_flag = 1; next arg; };
+    /^-no-hi-diffs$/ && do { $HiDiff_flag = 0; next arg; };
+    # show/disable diffs if the interface file changes
 
     /^-E$/	    && do { push(@CcBoth_flags, '-E');
 			    $Only_preprocess_C = 1;