torero

[uebersetzerbau-ss10.git] / torero / torero.sh

diff --git a/torero/torero.sh b/torero/torero.sh
new file mode 100755 (executable)
index 0000000..6cec952
--- /dev/null
+++ b/torero/torero.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+torerodir=`dirname $0`;
+java -jar $torerodir/torero.jar $1 $2 >> $torerodir/torero.log 2>&1