summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.ghci3
1 files changed, 1 insertions, 2 deletions
diff --git a/.ghci b/.ghci
index 8691e2a..d709f9d 100644
--- a/.ghci
+++ b/.ghci
@@ -1,2 +1 @@
-:set -isrc -isrc-interval -itests -idist/build/autogen -DPREVIEW_SERVER
-:set -optP-include -optPdist/build/autogen/cabal_macros.h
+:set -isrc -itests -idist/build/autogen -DPREVIEW_SERVER