Update launch.script so popd does not print directory name to stdout

Closes gh-5394
pull/5663/merge
Christian Brunotte 9 years ago committed by Andy Wilkinson
parent 0f6b76cf7b
commit 677080b8e2

@ -217,7 +217,7 @@ run() {
pushd "$(dirname "$jarfile")" > /dev/null
$command
result=$?
popd
popd > /dev/null
return "$result"
}

Loading…
Cancel
Save