diff options
author | Robin Gloster <mail@glob.in> | 2016-08-01 07:33:39 +0000 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2016-08-26 16:27:36 +0000 |
commit | b6c204f088cff9cd50d203b6799bd30a98a14179 (patch) | |
tree | b229740b10b4b59780e8e8ed6e0255c61fe3e9e9 /pkgs/stdenv/generic | |
parent | c8a7e0b54054e2f1fa33252ff1920f6b192593e1 (diff) |
stdenv substitute: fail on non-existant input file
fixes #9744
Diffstat (limited to 'pkgs/stdenv/generic')
-rw-r--r-- | pkgs/stdenv/generic/setup.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index 5b50167d9b9fc..f704395f147bb 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -389,6 +389,11 @@ substitute() { local input="$1" local output="$2" + if [ ! -f "$input" ]; then + echo "substitute: File \"$input\" does not exist" + return 1 + fi + local -a params=("$@") local n p pattern replacement varName content |