summaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-03-24 17:21:03 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-03-24 17:21:03 -0400
commitbb71305088ba509cae57367974e6033c24db20ab (patch)
treebf14efa87f81de2c19474d5cb84accf64cf9e14c /.ghci
parenta398db7885b5e5d2f97bd496f7c354e52145a441 (diff)
add a .ghci file to make ghci easier to use in git-annex
Diffstat (limited to '.ghci')
-rw-r--r--.ghci3
1 files changed, 3 insertions, 0 deletions
diff --git a/.ghci b/.ghci
new file mode 100644
index 000000000..37258aefe
--- /dev/null
+++ b/.ghci
@@ -0,0 +1,3 @@
+-- make ghci use precompiled modules, and C library
+:set -outputdir=tmp
+:set -IUtility