Try to fix broken if not statement

Till Wegmueller

2021-11-29 bbf32249725b54eb0b27d55fb39de6e7082b191c

 tools/jenkinshelper.ksh

@@ -73,7 +73,7 @@
   platform=$(uname -p)

   # check if we already have this branch set up as a pkg.depotd:
   if ! "svcs pkg/server:${BRANCH_NAME}" >/dev/null 2>&1; then
   if ! svcs "pkg/server:${BRANCH_NAME}"; then

      # get highest port from ${HTTPCONF} to figure out the next free one
      nextport=$(($(nawk -F '[/:]' '{ print $7 }' <"${HTTPCONF}" | sort -n | tail -1) + 1))