diff --git a/Jenkinsfile b/Jenkinsfile index 8dc9b28..487318e 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -17,6 +17,7 @@ pipeline { "Firefox": { sh 'echo \'setting up selenium environment\'' sh 'ping -c 5 localhost' + sh 'mvn clean bob' }, "Safari": {