From 8c9a1088642f7ee4919b157ea206a90b138e1104 Mon Sep 17 00:00:00 2001
From: John <JKRT@users.noreply.github.com>
Date: Tue, 4 Feb 2020 17:19:57 +0100
Subject: [PATCH] Update Jenkinsfile

---
 .CI/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile
index f57c059..abf838f 100644
--- a/.CI/Jenkinsfile
+++ b/.CI/Jenkinsfile
@@ -18,7 +18,7 @@ pipeline {
         USER = 'jenkins'
       }
       steps {
-        dir("OMJulia.jl") {
+        dir("MetaModelica.jl") {
           checkout scm
           sh 'hostname'
           sh '(cd /home/julia && tar xf /home/julia.tar)'