From ba8b6b41d3bdcd4edcead5bb680dcbe5f5697999 Mon Sep 17 00:00:00 2001
From: Ingvar Stepanyan <rreverser@google.com>
Date: Thu, 13 Jan 2022 17:58:20 +0000
Subject: [PATCH] One more try

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index df5e54c..1322a7a 100755
--- a/build.sh
+++ b/build.sh
@@ -16,7 +16,7 @@
 # License along with this library; if not, write to the Free Software
 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
 
-if [[ -v CI ]]
+if [ -z "$CI" ]
 then
 	DOCKER_INTERACTIVE_OPTS=""
 else