Skip to content

Commit

Permalink
Don't use realpath because it makes CI unhappy
Browse files Browse the repository at this point in the history
  • Loading branch information
jjaderberg committed Feb 27, 2019
1 parent 60a586b commit 726df70
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/grammar/src/main/shell/launch.sh
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ case "$(basename $0)" in
JARFILE="$(cd $(dirname $0); pwd)/$(basename $0)"
;;
launch.sh)
pomfile="$(realpath $(dirname $0)/../../../../../pom.xml)"
pomfile="$(cd "$(dirname $0)/../../../../.."; pwd)/pom.xml"
VERSION=$(grep --max-count=1 --regexp="<version>[^<]*" "$pomfile" | cut -f2 -d ">" | cut -f1 -d "<")
if [[ -z "$VERSION" ]]; then
>&2 echo "Cannot find version in $pomfile"
Expand Down

0 comments on commit 726df70

Please sign in to comment.