diff options
| author | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2024-02-05 17:28:02 +0100 |
|---|---|---|
| committer | misuzu <bakalolka@gmail.com> | 2024-02-29 08:43:24 +0200 |
| commit | 54724f2c5f67c0a88968f9e36f8ed088370b99df (patch) | |
| tree | a8e98bd05c3e218eadb3b502d71136d7ab113ca6 | |
| parent | 407b3d1a92c53c23829f8fb887b3172539b81066 (diff) | |
stdenv: fix `substituteStream --replace-quiet` deprecation warning
| -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 71c0f32cd9632..51065a9a7476a 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 |