From 9548e73d3006d5512901315c04cf84ad228ca31f Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 20 Jan 2020 13:07:25 +0100
Subject: [PATCH] [Jenkins] Better defaults.
---
Jenkinsfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 971ebc6..f9076a2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
description: 'Build OGS in container (Github user/repo@branch)')
string(name: 'format', defaultValue: 'docker',
description: 'Container format, e.g.: docker singularity')
- string(name: 'openmpi_versions', defaultValue: '3.1.2',
+ string(name: 'openmpi_versions', defaultValue: 'off',
description: 'OpenMPI versions, e.g.: off 2.1.2 2.1.5 3.0.1 3.1.2, ...')
string(name: 'pm', defaultValue: 'system',
description: 'Package manager to install third-party libs, e.g.: system conan')
@@ -18,7 +18,7 @@ pipeline {
// description: 'Upload docker image to registry?')
booleanParam(name: 'convert', defaultValue: true,
description: 'Convert docker image to Singularity?')
- booleanParam(name: 'runtime', defaultValue: false,
+ booleanParam(name: 'runtime', defaultValue: true,
description: 'Create a runtime only image (contains just the built binaries and runtime dependencies)')
booleanParam(name: 'deploy', defaultValue: false,
description: 'Deploy Singularity images')
--
GitLab