summarylogtreecommitdiffstats
path: root/jflex.sh
diff options
context:
space:
mode:
Diffstat (limited to 'jflex.sh')
-rwxr-xr-xjflex.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/jflex.sh b/jflex.sh
new file mode 100755
index 00000000000..d46ff823c1e
--- /dev/null
+++ b/jflex.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/sh
+
+java -jar /usr/share/java/jflex/jflex.jar "$@"