CI: Fix of Jenkins file 05/8005/2
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 1 Oct 2019 14:03:08 +0000 (16:03 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 1 Oct 2019 14:09:13 +0000 (16:09 +0200)
commitbaeab7bcd1a8d65301d44c84e091845090010de5
tree23d2320e9e009bc56b2fe26b0195b74795a2d159
parent8b789997de031bade6511f44aeee8fe4055f0e5a
CI: Fix of Jenkins file

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