tree 71f68ef63971b7fe7dd153783a9960769c81c2e7
parent c11efa5a147d59ea2087b5c8c8fa03bbc15fd9f3
author Luca Prete <luca@onlab.us> 1499423609 +0200
committer Luca Prete <luca@onlab.us> 1499423609 +0200

Correct Jenkins file for cord master

Change-Id: Iab35269a333bc50ec42d54ed7994e6058968a22a