Strange workarounds for Jenkins (#874)

OpenModelica · Nov 16, 2020 · 5ea5bd8 · 5ea5bd8
1 parent 867eda5
commit 5ea5bd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -636,6 +636,6 @@ def getExperimentalPath() {
     return "experimental/pr-${env.CHANGE_ID}/"
   }
   else {
-    return ""
+    return "./"   // We can't use an empty string due to an stupid Jenkins bug
   }
 }