diff options
Diffstat (limited to 'gi')
-rwxr-xr-x | gi | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -0,0 +1,14 @@ | |||
1 | #!/bin/bash | ||
2 | args="-fwarn-unused-imports" | ||
3 | |||
4 | root=${0%/*} | ||
5 | cd "$root" | ||
6 | |||
7 | me=g | ||
8 | ghci \ | ||
9 | -hidir build/$me -odir build/$me \ | ||
10 | -iPresence \ | ||
11 | -iArchive \ | ||
12 | build/b/Presence/monitortty.o \ | ||
13 | $args \ | ||
14 | "$@" | ||