From a4cdfd032f19885f2bca9b1f385cbde3c51c89ee Mon Sep 17 00:00:00 2001 From: Johannes Merl Date: Thu, 9 May 2024 13:11:49 +0200 Subject: [PATCH] fix5 --- run.sbatch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/run.sbatch b/run.sbatch index 51a6377..ee0fd37 100755 --- a/run.sbatch +++ b/run.sbatch @@ -13,7 +13,7 @@ current_problem=${problems[(${SLURM_ARRAY_TASK_ID}/270)]} current_variant=$(((${SLURM_ARRAY_TASK_ID} / 30) % 9 + 1)) current_branch="${current_problem}_${current_variant}" -git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../oc-compute02/merljoha/$current_branch -git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../oc-compute03/merljoha/$current_branch +git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../../oc-compute02/merljoha/$current_branch +git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../../oc-compute03/merljoha/$current_branch srun bash -c "cd /data/$SLURMD_NODENAME/merljoha/$current_branch; nix develop --command stack --no-nix --system-ghc --no-install-ghc run haga-lambda"