diff options
author | Peter Simons <simons@cryp.to> | 2015-11-27 11:16:29 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2015-11-27 11:17:50 +0100 |
commit | ade9f7167dd1fec622c1f0ff7725cb6f6743b45d (patch) | |
tree | ac4b820727f27f8e1b851f35f8af3423c56c4543 /pkgs/build-support/fetchgit/nix-prefetch-git | |
parent | b5e06b04a79f60e10d81812e05299e98ee7dc02b (diff) |
nix-prefetch-git: make sure the script is interpreted by bash
Fixes https://github.com/NixOS/nixpkgs/issues/11284.
Diffstat (limited to 'pkgs/build-support/fetchgit/nix-prefetch-git')
-rwxr-xr-x | pkgs/build-support/fetchgit/nix-prefetch-git | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/build-support/fetchgit/nix-prefetch-git b/pkgs/build-support/fetchgit/nix-prefetch-git index 22d46257075e..fbefba5ccc0e 100755 --- a/pkgs/build-support/fetchgit/nix-prefetch-git +++ b/pkgs/build-support/fetchgit/nix-prefetch-git @@ -1,4 +1,6 @@ -#! /bin/sh -e +#! /usr/bin/env bash + +set -e -o pipefail url= rev= |