diff --git a/Jenkinsfile b/Jenkinsfile index b05cce2fb3c6ea59d837816fb7c8c1fbac02611e..44c9b61a88cd102d2e201ad5d30620e1337da228 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