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 9d8f7d9074 - Show all commits

View File

@@ -31,6 +31,7 @@ stdenv.mkDerivation {
fi
export GARLIC_EXPERIMENT=$(basename $out)
echo "Running experiment \$GARLIC_EXPERIMENT"
if [ -e "\$GARLIC_EXPERIMENT" ]; then
>&2 echo "Already exists \$GARLIC_EXPERIMENT, aborting"