run onos-buck

Change-Id: Iddeb94086e3b88aef7e21156fa25fe33ccc78b41
diff --git a/Jenkinsfile b/Jenkinsfile
index 65e4574..4818776 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,7 +6,7 @@
     stages {
         stage('build') {
             steps {
-                sh 'tools/build/envDefaults && buck build onos'
+                sh 'tools/build/envDefaults && onos-buck build onos'
             }
         }
     }