From dc80cbc00fc02b152ab87a74c7c76e0da9d7c26c Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 22 Jul 2019 08:21:11 +0200
Subject: [PATCH] [Jenkins] Removed duplicated cmake option.
---
Jenkinsfile | 1 -
1 file changed, 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 7f50479e209..2358cce9f12 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -108,7 +108,6 @@ pipeline {
"-DBUILD_SHARED_LIBS=${build_shared} " +
'-DOGS_CPU_ARCHITECTURE=generic ' +
'-DOGS_BUILD_UTILS=ON ' +
- '-DOGS_BUILD_UTILS=ON ' +
'-DOGS_CONAN_BUILD=outdated ' +
'-DOGS_USE_CVODE=ON '
}
--
GitLab