From 44ee652519968ed880238754c40b26d80ed06166 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Thu, 16 May 2019 22:04:36 +0200
Subject: [PATCH] [Jenkins] Renamed frontend1 env scripts to eve.

---
 Jenkinsfile                             | 16 ++++++++--------
 scripts/env/{frontend1 => eve}/cli.sh   |  0
 scripts/env/{frontend1 => eve}/mpi.sh   |  0
 scripts/env/{frontend1 => eve}/petsc.sh |  0
 4 files changed, 8 insertions(+), 8 deletions(-)
 rename scripts/env/{frontend1 => eve}/cli.sh (100%)
 rename scripts/env/{frontend1 => eve}/mpi.sh (100%)
 rename scripts/env/{frontend1 => eve}/petsc.sh (100%)

diff --git a/Jenkinsfile b/Jenkinsfile
index b05cce2fb3c..44c9b61a88c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -276,18 +276,18 @@ pipeline {
                   '-DOGS_BUILD_UTILS=ON ' +
                   '-DBUILD_SHARED_LIBS=ON ' +
                   '-DOGS_USE_CONAN=OFF '
-                env = 'frontend1/cli.sh'
+                env = 'eve/cli.sh'
               }
               build {
-                env = 'frontend1/cli.sh'
+                env = 'eve/cli.sh'
                 cmd_args = '-l 30'
               }
               build {
-                env = 'frontend1/cli.sh'
+                env = 'eve/cli.sh'
                 target = 'tests'
               }
               build {
-                env = 'frontend1/cli.sh'
+                env = 'eve/cli.sh'
                 target = 'ctest'
               }
             }
@@ -318,18 +318,18 @@ pipeline {
                   '-DBUILD_SHARED_LIBS=ON ' +
                   '-DOGS_USE_PETSC=ON ' +
                   '-DOGS_USE_CONAN=OFF '
-                env = 'frontend1/petsc.sh'
+                env = 'eve/petsc.sh'
               }
               build {
-                env = 'frontend1/petsc.sh'
+                env = 'eve/petsc.sh'
                 cmd_args = '-l 30'
               }
               build {
-                env = 'frontend1/petsc.sh'
+                env = 'eve/petsc.sh'
                 target = 'tests'
               }
               build {
-                env = 'frontend1/petsc.sh'
+                env = 'eve/petsc.sh'
                 target = 'ctest'
               }
             }
diff --git a/scripts/env/frontend1/cli.sh b/scripts/env/eve/cli.sh
similarity index 100%
rename from scripts/env/frontend1/cli.sh
rename to scripts/env/eve/cli.sh
diff --git a/scripts/env/frontend1/mpi.sh b/scripts/env/eve/mpi.sh
similarity index 100%
rename from scripts/env/frontend1/mpi.sh
rename to scripts/env/eve/mpi.sh
diff --git a/scripts/env/frontend1/petsc.sh b/scripts/env/eve/petsc.sh
similarity index 100%
rename from scripts/env/frontend1/petsc.sh
rename to scripts/env/eve/petsc.sh
-- 
GitLab