Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 8a77900201 - Show all commits

View File

@@ -20,7 +20,7 @@ stdenv.mkDerivation rec {
preferLocalBuild = true;
dontPatchShebangs = true;
installPhase = ''
cat > $out <<EOF
cat > $out <<'EOF'
#!/bin/sh -e
exec ${slurm}/bin/srun \
--mpi=pmi2 \