projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-01-22 18:59:42 by partain]
[ghc-hetmet.git]
/
ghc
/
driver
/
ghc.lprl
diff --git
a/ghc/driver/ghc.lprl
b/ghc/driver/ghc.lprl
index
7f00cd2
..
8ccef55
100644
(file)
--- 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)
/^-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;
/^-E$/ && do { push(@CcBoth_flags, '-E');
$Only_preprocess_C = 1;