summaryrefslogtreecommitdiff
path: root/gi
diff options
context:
space:
mode:
Diffstat (limited to 'gi')
-rwxr-xr-xgi14
1 files changed, 14 insertions, 0 deletions
diff --git a/gi b/gi
new file mode 100755
index 00000000..8101348e
--- /dev/null
+++ b/gi
@@ -0,0 +1,14 @@
1#!/bin/bash
2args="-fwarn-unused-imports"
3
4root=${0%/*}
5cd "$root"
6
7me=g
8ghci \
9 -hidir build/$me -odir build/$me \
10 -iPresence \
11 -iArchive \
12 build/b/Presence/monitortty.o \
13 $args \
14 "$@"