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