contrib/jenkins: remove duplicate "set -ex"There is already a "set -ex" on top of the file, no need to set itagain.Change-Id: Ia071f1f1d37cd1936d6a4001edfe2c5c335787b8
![[Jenkins]](/jenkins/static/62d04a6b/images/svgs/logo.svg){kind=logo}
