diff options
author | 2016-02-15 16:05:52 -0400 | |
---|---|---|
committer | 2016-02-15 16:05:52 -0400 | |
commit | 81b98efabf922521bde4117ddab4bb36bd617b31 (patch) | |
tree | dd11cedc2ca69f91b7191f6e077bd4d5e535227c | |
parent | 02c9399ebbfbd2884e0e09ed068623568b16130a (diff) |
fix script
-rwxr-xr-x | ghci | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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//') $@ |