Try to fix broken if not statement

Till Wegmueller

2021-11-29 bbf32249725b54eb0b27d55fb39de6e7082b191c

Try to fix broken if not statement

 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))