From aee28ab7e25ed364019863dfd0f9c2447c09fa26 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Sun, 24 Jun 2018 10:07:22 +0200 Subject: [PATCH] New Jenkinsfile (testing) --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 77bb13a62..fc55a19d7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ // a test ... -org.klayout.osconfig() +osconfig() target = params.platform currentBuild.description = "Pipelined "+target