aboutsummaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-10-17 23:04:43 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-10-20 16:20:42 -0400
commit590fd490750e84c62d8669cb2db6885e26cc17cd (patch)
treebb01e72ad1059c05b0848bc3c5b44623302cf809 /.ghci
parent3165e815046787d47c283a32c7f87f504aceda9f (diff)
workaround for ghci fragility in reusing objects compiled with ghc
Diffstat (limited to '.ghci')
-rw-r--r--.ghci3
1 files changed, 0 insertions, 3 deletions
diff --git a/.ghci b/.ghci
index 318bac202..c5550cee6 100644
--- a/.ghci
+++ b/.ghci
@@ -1,4 +1 @@
--- make ghci use precompiled modules, and C library
-:set -outputdir=tmp
-:set -IUtility
:load Common