diff options
Diffstat (limited to 'dev-java/javacc/files')
| -rw-r--r-- | dev-java/javacc/files/javacc | 6 | ||||
| -rw-r--r-- | dev-java/javacc/files/jjdoc | 6 | ||||
| -rw-r--r-- | dev-java/javacc/files/jjtree | 6 |
3 files changed, 0 insertions, 18 deletions
diff --git a/dev-java/javacc/files/javacc b/dev-java/javacc/files/javacc deleted file mode 100644 index 032ad977d18a..000000000000 --- a/dev-java/javacc/files/javacc +++ /dev/null @@ -1,6 +0,0 @@ -#! /bin/sh - -java=$(java-config --java) -classpath=$(java-config --classpath=javacc) - -${java} -classpath ${classpath} javacc "$@" diff --git a/dev-java/javacc/files/jjdoc b/dev-java/javacc/files/jjdoc deleted file mode 100644 index 95ae526058cf..000000000000 --- a/dev-java/javacc/files/jjdoc +++ /dev/null @@ -1,6 +0,0 @@ -#! /bin/sh - -java=$(java-config --java) -classpath=$(java-config --classpath=javacc) - -${java} -classpath ${classpath} jjdoc "$@" diff --git a/dev-java/javacc/files/jjtree b/dev-java/javacc/files/jjtree deleted file mode 100644 index 5a9b479f7dd5..000000000000 --- a/dev-java/javacc/files/jjtree +++ /dev/null @@ -1,6 +0,0 @@ -#! /bin/sh - -java=$(java-config --java) -classpath=$(java-config --classpath=javacc) - -${java} -classpath ${classpath} jjtree "$@" |