diff --git a/Jenkinsfile b/Jenkinsfile
index 9d38b4f..f85abea 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,7 +5,8 @@
         stage('build') {
             steps {
                 sh '''#!/bin/bash -l
-                . tools/build/envDefaults && onos-buck build onos
+                source tools/build/envDefaults
+                onos-buck build onos
                 '''
             }
         }