From 2c3b847d29a3600096734da1e550e319bfbc6835 Mon Sep 17 00:00:00 2001 From: Raphael Megzari Date: Wed, 30 Jun 2021 13:24:25 +0900 Subject: [PATCH] Update pkgs/stdenv/generic/setup.sh: use [[ instead of [ Co-authored-by: Sandro --- pkgs/stdenv/generic/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index a2ac8b0504e..7499a46a03b 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -996,7 +996,7 @@ configurePhase() { if [ -f "$configureScript" ]; then # Add --disable-dependency-tracking to speed up some builds. - if [ -z "${dontAddDisableDepTrack:-}" ]; then + if [[ -z ${dontAddDisableDepTrack:-} ]]; then if grep -q dependency-tracking "$configureScript"; then configureFlags="--disable-dependency-tracking $configureFlags" fi