tree 23d2320e9e009bc56b2fe26b0195b74795a2d159
parent 8b789997de031bade6511f44aeee8fe4055f0e5a
author peusterm <manuel.peuster@uni-paderborn.de> 1569938588 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1569938953 +0200

CI: Fix of Jenkins file

Change-Id: Ide6a3f4c67b737c19264dd9ed894ede4865e0284
Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>