Change in jenkins[master]: fix bug in system-tests.sh