diff options
Diffstat (limited to 'libre/antlr2/runantlr2.sh')
| -rw-r--r-- | libre/antlr2/runantlr2.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/libre/antlr2/runantlr2.sh b/libre/antlr2/runantlr2.sh index aebc9dfa7..d274e56a9 100644 --- a/libre/antlr2/runantlr2.sh +++ b/libre/antlr2/runantlr2.sh @@ -1,5 +1,3 @@ -#!/bin/sh -echo Running 'java antlr.Tool $*' with /usr/share/java/antlr2.jar appended to the CLASSPATH variable -export CLASSPATH -CLASSPATH=$CLASSPATH:/usr/share/java/antlr2.jar +#!/bin/bash +export CLASSPATH="/usr/share/java/antlr2.jar${CLASSPATH:+:$CLASSPATH}" java antlr.Tool "$@" |