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 422d359b48 - Show all commits

View File

@@ -5,8 +5,12 @@
{
script
, shell ? "/bin/sh"
, exitOnError ? true
}:
let
setcmd = if exitOnError then "set -e" else "";
in
stdenv.mkDerivation {
name = "script";
preferLocalBuild = true;
@@ -14,6 +18,7 @@ stdenv.mkDerivation {
installPhase = ''
cat > $out <<'EOF'
#!${shell}
${setcmd}
${script}