summarylogtreecommitdiffstats
path: root/cup.sh
diff options
context:
space:
mode:
authorDario Ostuni2018-05-17 11:18:41 +0200
committerDario Ostuni2018-05-17 11:18:41 +0200
commit1db031f20ebed45ae43c91e2e67707153b7610ce (patch)
tree4e7fb181d177d34ead84d98fc5f088bcd3324431 /cup.sh
downloadaur-cup.tar.gz
Initial commit
Diffstat (limited to 'cup.sh')
-rwxr-xr-xcup.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/cup.sh b/cup.sh
new file mode 100755
index 00000000000..97db3d38511
--- /dev/null
+++ b/cup.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+java -jar /usr/share/java/cup/java-cup-11b.jar "$@"