aboutsummaryrefslogtreecommitdiff
path: root/ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-10-18 00:29:15 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-10-20 16:21:25 -0400
commitb95ae7e97b3acad9270698bc63d7c8d4c5248f2b (patch)
tree1921ad29a1a33bd029fb929d26b0d7d4cafa2a01 /ghci
parent590fd490750e84c62d8669cb2db6885e26cc17cd (diff)
avoid -Wall, too noisy
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//') $@