diff options
author | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2024-02-05 17:28:02 +0100 |
---|---|---|
committer | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2024-02-05 17:28:02 +0100 |
commit | cb4c41f93a85d7092f9dd846052a73043820e7d8 (patch) | |
tree | 63f2c4a84e27ffaf2fd9d12e20880527034ef633 /pkgs/stdenv | |
parent | 4c7c79948e1ca471257b1d866c599c9929c751ca (diff) |
stdenv: fix `substituteStream --replace-quiet` deprecation warning
Diffstat (limited to 'pkgs/stdenv')
-rw-r--r-- | pkgs/stdenv/generic/setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index efb233312b571..fa66cebfaf671 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -833,7 +833,7 @@ substituteStream() { --replace) # deprecated 2023-11-22 # this will either get removed, or switch to the behaviour of --replace-fail in the future - if [ -z "$_substituteStream_has_warned_replace_deprecation" ]; then + if [ -z "$is_quiet" ] && [ -z "$_substituteStream_has_warned_replace_deprecation" ]; then echo "substituteStream(): WARNING: '--replace' is deprecated, use --replace-{fail,warn,quiet}. ($description)" >&2 _substituteStream_has_warned_replace_deprecation=1 fi |