tree dce8759447662d12788a5702f3894863ef481ee0
parent e2d51fda7f9d6b706daef9d430e18fd8feee5dec
author Luca Prete <luca@onlab.us> 1504307795 -0700
committer Luca Prete <luca@onlab.us> 1504307795 -0700

Fixing new build system Jenkinsfile

Change-Id: I0a35392a8ffcd0cf3033b3c6ec516a05e5c4b19d