diff --git a/ghci b/ghci index 57361281c1..d25519e3cb 100755 --- a/ghci +++ b/ghci @@ -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//') $@