summaryrefslogtreecommitdiff
path: root/ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2016-02-15 16:05:52 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2016-02-15 16:05:52 -0400
commit81b98efabf922521bde4117ddab4bb36bd617b31 (patch)
treedd11cedc2ca69f91b7191f6e077bd4d5e535227c /ghci
parent02c9399ebbfbd2884e0e09ed068623568b16130a (diff)
fix script
Diffstat (limited to 'ghci')
-rwxr-xr-xghci2
1 files changed, 1 insertions, 1 deletions
diff --git a/ghci b/ghci
index 206bbbc7a..b8e4539df 100755
--- a/ghci
+++ b/ghci
@@ -1,4 +1,4 @@
#!/bin/sh
# ghci using objects built by cabal
make dist/caballog
-$(grep 'ghc --make' dist/caballog | head -n 1 | perl -pe 's/--make/--interactive/; s/.\/[^\.\s]+.hs//; s/-package-id [^\s]+//g; s/-hide-all-packages//; s/-threaded//; s/-O//') $@
+$(grep 'ghc --make' dist/caballog | head -n 1 | perl -pe 's/--make/--interactive/; s/.\/[^\.\s]+.hs//; s/-package-id [^\s]+//g; s/-hide-all-packages//; s/-threaded//') $@