tree d593b488d0fb4f488af0712f3e835d89ff42ce83
parent cd620a105a7f18b087a9d9e0693b57365699dfaf
author Luca Prete <luca@onlab.us> 1507066951 -0700
committer Luca Prete <luca@onlab.us> 1507066951 -0700

Fixing old Jenkinsfile

Change-Id: I86bc4d3d84683dd14d61b279f02474eaf1651d34