Change in docker-playground[master]: ttcn3-pgw-test: fix jenkins.sh: do not use bash specific syntax