From 77d82930776887864180ada5a253191abe79d73f Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Wed, 10 Aug 2022 15:21:06 +0200
Subject: [PATCH] Minor fix.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index a1f6968..69e8614 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -39,7 +39,7 @@ pipeline {
stage('Compile') {
steps {
- sh './gradlew build'
+ sh './setup.sh'
}
}
--
GitLab