diff options
author | Joey Hess <joey@kitenet.net> | 2012-10-18 00:29:15 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-10-20 16:21:25 -0400 |
commit | b95ae7e97b3acad9270698bc63d7c8d4c5248f2b (patch) | |
tree | 1921ad29a1a33bd029fb929d26b0d7d4cafa2a01 /ghci | |
parent | 590fd490750e84c62d8669cb2db6885e26cc17cd (diff) |
avoid -Wall, too noisy
Diffstat (limited to 'ghci')
-rwxr-xr-x | ghci | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ # This runs ghci with the same flags used when compiling with ghc. # Certian flags need to be the same in order for ghci to reuse compiled # objects. -ghci $(make getflags) $@ +ghci $(make getflags | sed 's/-Wall//') $@ |