Fix Jenkinsfile

Change-Id: I613ced4cde6df0dad19b28d28284f1763aed0574
Signed-off-by: Frederic Gurr <frederic.gurr@eclipse-foundation.org>
1 file changed