Fix Jenkinsfile name

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