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 7d4db6b6de - Show all commits

View File

@@ -17,7 +17,7 @@ stdenv.mkDerivation {
dontPatchShebangs = true;
installPhase = ''
cat > $out <<EOF
#!/bin/sh
#!/bin/sh -e
for n in \$(seq 1 ${toString loops}); do
export GARLIC_RUN="\$n"
echo "running \$n of ${toString loops}" > status