diff options
author | Andreas Grapentin <andreas@grapentin.org> | 2018-02-08 07:46:46 +0100 |
---|---|---|
committer | Andreas Grapentin <andreas@grapentin.org> | 2018-02-08 14:00:10 +0100 |
commit | 3668cce7ff47496a3d1a24e154ac87629832d10d (patch) | |
tree | 74267ac09d35c9755c2f2d538c248cd2b0b00e0f /pcr/java-cup/java-cup.sh | |
parent | 7eee3a5c23d63e386c4294e76b2912525f0a8ce0 (diff) | |
download | abslibre-3668cce7ff47496a3d1a24e154ac87629832d10d.tar.gz abslibre-3668cce7ff47496a3d1a24e154ac87629832d10d.tar.bz2 abslibre-3668cce7ff47496a3d1a24e154ac87629832d10d.zip |
java/* moved to pcr/
Diffstat (limited to 'pcr/java-cup/java-cup.sh')
-rw-r--r-- | pcr/java-cup/java-cup.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pcr/java-cup/java-cup.sh b/pcr/java-cup/java-cup.sh new file mode 100644 index 000000000..b7bf91d14 --- /dev/null +++ b/pcr/java-cup/java-cup.sh @@ -0,0 +1,2 @@ +#!/bin/sh +java -jar /usr/share/java/java_cup.jar "$@" |