diff options
Diffstat (limited to 'nixpkgs/pkgs/development/tools/ocaml/opam/opam-shebangs.patch')
| -rw-r--r-- | nixpkgs/pkgs/development/tools/ocaml/opam/opam-shebangs.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/development/tools/ocaml/opam/opam-shebangs.patch b/nixpkgs/pkgs/development/tools/ocaml/opam/opam-shebangs.patch index f74ac84ca6b2..13aa7a895708 100644 --- a/nixpkgs/pkgs/development/tools/ocaml/opam/opam-shebangs.patch +++ b/nixpkgs/pkgs/development/tools/ocaml/opam/opam-shebangs.patch @@ -64,7 +64,7 @@ index 00000000..3ea84e2d +header() { echo "$1"; } +stopNest() { true; } + -+fixupOutputHooks+=('if [ -z "$dontPatchShebangs" -a -e "$prefix" ]; then patchShebangs "$prefix"; fi') ++fixupOutputHooks+=('if [ -z "${dontPatchShebangs-}" -a -e "$prefix" ]; then patchShebangs "$prefix"; fi') + +patchShebangs() { + local dir="$1" |