summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2014-11-18 16:10:09 +0100
committertv <tv@shackspace.de>2014-11-18 16:10:09 +0100
commit64ec0daf8937202092e887c80bc86f2e6e54fe7f (patch)
tree18609c5e01d209338ecd22459b73e9cf67e0ec88
parent179d8980e55578e3553bad0b237368d74e074f15 (diff)
Add .ghci
-rw-r--r--.ghci1
-rw-r--r--.gitignore2
2 files changed, 3 insertions, 0 deletions
diff --git a/.ghci b/.ghci
new file mode 100644
index 0000000..4467582
--- /dev/null
+++ b/.ghci
@@ -0,0 +1 @@
+:set -Wall -fobject-code
diff --git a/.gitignore b/.gitignore
index 754e930..cd57d17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
/.graveyard
/state
+*.hi
+*.o