diff options
-rwxr-xr-x | contrib/get-antlr-3.4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4 index 670fc3b41..6bfa18c46 100755 --- a/contrib/get-antlr-3.4 +++ b/contrib/get-antlr-3.4 @@ -46,7 +46,7 @@ cd libantlr3c-3.4 # Use an absolute path for the installation directory to avoid spurious libtool # warnings about the ANTLR library having moved -PREFIX=$(realpath `pwd`/../..) +PREFIX=$(python -c "import os; print(os.path.realpath('$(pwd)/../..'))") # Make antlr3debughandlers.c empty to avoid unreferenced symbols rm -rf src/antlr3debughandlers.c && touch src/antlr3debughandlers.c |