diff --git a/scripts/plafrim_level2.sh b/scripts/plafrim_level2.sh index 6fdf84d2274beb7678e57781f9b5c6c7b849a991..c54923fd5432f42f4ad976b68294d884ec0fcae4 100755 --- a/scripts/plafrim_level2.sh +++ b/scripts/plafrim_level2.sh @@ -1,21 +1,10 @@ #!/usr/bin/env bash set -x -# to avoid a lock during fetching git branches in parallel -export XDG_CACHE_HOME=/tmp/guix-$$ - -# save guix commits -#guix describe --format=json > guix.json -guix time-machine -C .guix/scalfmm-channels.scm -- describe --format=json > guix.json - -#exec guix shell --pure --preserve="^CI|proxy$|^SLURM" \ exec guix time-machine -C .guix/scalfmm-channels.scm -- shell --pure --preserve="^CI|proxy$|^SLURM" \ -m .guix/scalfmm-manifest-gcc-mkl-bench.scm \ -- /bin/bash --norc ./scripts/plafrim_level3.sh err=$? -# clean tmp -rm -rf /tmp/guix-$$ - # exit with error code from the guix command exit $err