tree 7ce96edaebbe8b88337eaf2b0b305a148668fbe3
parent 4b1e61df82e28bf0f1136a5f2e0378ac8cd80dbb
author Matteo Scandolo <matteo.scandolo@gmail.com> 1497574742 -0700
committer Matteo Scandolo <matteo.scandolo@gmail.com> 1497574742 -0700

Updating jenkinsfile

Change-Id: I453725b6aa000526440ac0f46f04c91f129c6d11