From 8dd0f45fc7b027a8b206f7bfbfc207fb38e076f4 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Fri, 7 Mar 2025 11:52:50 +0100
Subject: [PATCH] benchs: do not use XDG_CACHE_HOME because it blocks

---
 scripts/plafrim_level2.sh | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/scripts/plafrim_level2.sh b/scripts/plafrim_level2.sh
index 6fdf84d22..c54923fd5 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
-- 
GitLab