summaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
Diffstat (limited to '.ghci')
-rw-r--r--.ghci2
1 files changed, 1 insertions, 1 deletions
diff --git a/.ghci b/.ghci
index fd1deff..a42ffe2 100644
--- a/.ghci
+++ b/.ghci
@@ -1 +1 @@
-:set -isrc -itests -idist/build/autogen
+:set -isrc -isrc-inotify -itests -idist/build/autogen