tree 1ba693973e4167304eb7d08f99282be404273dea
parent 896dd8b07378d856cb1bb0a3348980bb13de967e
author Matteo Scandolo <matteo.scandolo@gmail.com> 1497558608 -0700
committer Matteo Scandolo <matteo.scandolo@gmail.com> 1497558608 -0700

Fixing Jenkinsfile

Change-Id: Ie05d3d26b9dcfd905407a52d305393ecbbd96f9f