diff --git a/hack/jenkins/cron/cleanup_and_reboot_Darwin.sh b/hack/jenkins/cron/cleanup_and_reboot_Darwin.sh
index 544070d313c9de9384c350bb721948e68f770006..f6dbb8169d7ede7fb969d0f195e76272f74be1c2 100755
--- a/hack/jenkins/cron/cleanup_and_reboot_Darwin.sh
+++ b/hack/jenkins/cron/cleanup_and_reboot_Darwin.sh
@@ -21,11 +21,11 @@ PATH=/usr/local/bin:/sbin:/usr/local/sbin:$PATH
 
 exit_if_jenkins() {
   jenkins=$(pgrep java)
-  if [[ "$jenkins" -- "" ]]; then
+  if [[ "${jenkins}" == "" ]]; then
     echo "no java, no jenkins"
     return 0
   fi
-  pstree $jenkins | grep -v java && echo "jenkins is running..." && exit 1
+  pstree "${jenkins}" | grep -v java && echo "jenkins is running..." && exit 1
 }
 
 exit_if_jenkins