diff --git a/Jenkinsfile b/Jenkinsfile index 454e3b7767..a8d92acf23 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,6 +19,7 @@ pipeline { source tools/build/envDefaults onos-buck test ''' + } } }