summaryrefslogtreecommitdiff
path: root/ghci
diff options
context:
space:
mode:
Diffstat (limited to 'ghci')
-rwxr-xr-xghci2
1 files changed, 1 insertions, 1 deletions
diff --git a/ghci b/ghci
index 57361281c..d25519e3c 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//') $@