minor change in diff jenkinsfile script

1 job for minor-diff-jenkinsfile in 0 seconds (queued for 4 minutes and 46 seconds)