fix jenkins build: add contrib/jenkins.sh expected by jobs

Change-Id: I1ef4b9ce3080ce9cad9ed92ead01619b0d6f91f4
1 file changed