- Add the notes Samir emailed me on 2008-07-06.

[match/match.git] / program / run

diff --git a/program/run b/program/run
new file mode 100755 (executable)
index 0000000..7fd903d
--- /dev/null
+++ b/program/run
@@ -0,0 +1,2 @@
+#!/bin/bash
+make && exec ghci Test "$@"