From b491e65971e06e57acababaa9a0eccd71fba38db Mon Sep 17 00:00:00 2001
From: Greg Wilkins <gregw@webtide.com>
Date: Thu, 12 Aug 2021 09:25:57 +1000
Subject: [PATCH] Fix #6597 Use dry run in jetty.sh

update from review

Signed-off-by: Greg Wilkins <gregw@webtide.com>
---
 jetty-home/src/main/resources/bin/jetty.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/jetty-home/src/main/resources/bin/jetty.sh b/jetty-home/src/main/resources/bin/jetty.sh
index 1acd9b40610a..c687c0620e96 100755
--- a/jetty-home/src/main/resources/bin/jetty.sh
+++ b/jetty-home/src/main/resources/bin/jetty.sh
@@ -247,9 +247,9 @@ if [ -z "$JETTY_HOME" ]; then
   exit 1
 fi
 
-RUN_DIR=$PWD
+RUN_DIR=$(pwd)
 cd "$JETTY_HOME"
-JETTY_HOME=$PWD
+JETTY_HOME=$(pwd)
 
 ##################################################
 # Set JETTY_BASE
@@ -263,7 +263,7 @@ if [ -z "$JETTY_BASE" ]; then
   fi
 fi
 cd "$JETTY_BASE"
-JETTY_BASE=$PWD
+JETTY_BASE=$(pwd)
 
 #####################################################
 # Check that jetty is where we think it is