diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-04-16 22:50:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-16 22:50:05 -0700 |
commit | b4eeffd63cc00369ec6b47ed4289577af3dec4eb (patch) | |
tree | 3feddc1ece02773a710fd611a26237da44a3964b /contrib | |
parent | cc1689c3e40d6faf8de1ed7cd4eaae687adae103 (diff) |
antlr: Use relative path in ANTLR script. (#4324)
This will fix the CI caching issues we sometimes encountered on GH actions.
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-antlr-3.4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4 index bc75e8339..45dc86583 100755 --- a/contrib/get-antlr-3.4 +++ b/contrib/get-antlr-3.4 @@ -34,8 +34,8 @@ webget \ mkdir -p "$ANTLR_HOME_DIR/bin" tee "$ANTLR_HOME_DIR/bin/antlr3" <<EOF #!/usr/bin/env bash -export CLASSPATH=$INSTALL_DIR/share/java/antlr-3.4-complete.jar:\$CLASSPATH -exec java org.antlr.Tool "\$@" +JAR_FILE="\$(find "\$(dirname "\$0")/../" -name antlr-3.4-complete.jar)" +exec java -cp "\$JAR_FILE" org.antlr.Tool "\$@" EOF chmod a+x "$ANTLR_HOME_DIR/bin/antlr3" install_bin "$ANTLR_HOME_DIR/bin/antlr3" |