diff --git a/tools/refresh.sh b/tools/refresh.sh index e08e96326f..1e7fd422b5 100755 --- a/tools/refresh.sh +++ b/tools/refresh.sh @@ -95,6 +95,7 @@ done MYNAME=`basename $0` +cd $WD if [ -x ./${MYNAME} ] ; then cd .. || { echo "ERROR: cd .. failed" ; exit 1 ; } fi