set up dev environment

Change-Id: I11475b8d4dd7d7101ac1756fa78694eee74952c4
diff --git a/Jenkinsfile b/Jenkinsfile
index 8432554..65e4574 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,9 +1,12 @@
 pipeline {
     agent any
+    environment {
+
+    }
     stages {
         stage('build') {
             steps {
-                sh 'buck build onos'
+                sh 'tools/build/envDefaults && buck build onos'
             }
         }
     }