diff options
| author | Rick van Schijndel <Mindavi@users.noreply.github.com> | 2024-02-07 21:35:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-07 21:35:19 +0100 |
| commit | 2c98eaf597c7d299413b40de18c4288460180cb7 (patch) | |
| tree | f26efebc86eebeb3b9d4344dda0038e156685a21 /pkgs/stdenv/generic | |
| parent | e275416039f3f47f33bf0ce2567cd5ba7e309192 (diff) | |
| parent | cb4c41f93a85d7092f9dd846052a73043820e7d8 (diff) | |
Merge pull request #286526 from pbsds/fix-replace-quiet-1707148527
stdenv: fix `substituteStream --replace-quiet` deprecation warning
Diffstat (limited to 'pkgs/stdenv/generic')
| -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 |