summaryrefslogtreecommitdiff
path: root/t
diff options
context:
space:
mode:
Diffstat (limited to 't')
-rwxr-xr-xt14
1 files changed, 14 insertions, 0 deletions
diff --git a/t b/t
new file mode 100755
index 00000000..22b21361
--- /dev/null
+++ b/t
@@ -0,0 +1,14 @@
1#!/bin/bash
2args="-threaded -fwarn-unused-imports -rtsopts -DRENDERFLUSH -optP-include -optPdist/build/autogen/cabal_macros.h"
3
4root=${0%/*}
5cd "$root"
6
7me=${0##*/}
8me=${me%.*}
9ghc \
10 -hidir build/$me -odir build/$me \
11 -iPresence \
12 $args \
13 Presence/monitortty.c \
14 "$@"