From 9190f6eb70765fb34d24a9e9a90c08da3f6e9023 Mon Sep 17 00:00:00 2001
From: Chuan Ma <chuanm@gmail.com>
Date: Fri, 16 Nov 2018 05:49:34 -0500
Subject: [PATCH] FIX #2842: properly check $use_cuda against false.

---
 src/configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/configure b/src/configure
index e0d958f8185..f2665e0cee9 100755
--- a/src/configure
+++ b/src/configure
@@ -1097,7 +1097,7 @@ else
   echo "DOUBLE_PRECISION = 0" >> kaldi.mk
 fi
 $use_cuda && echo "Checking cub library in $CUBROOT ..."
-if [[ $use_cuda && ! -f $CUBROOT/cub/cub.cuh ]]; then
+if [[ "$use_cuda" = true  && ! -f $CUBROOT/cub/cub.cuh ]]; then
   failure "Could not find file $CUBROOT/cub/cub.cuh:
   you may not have installed cub. See ../tools/INSTALL"
 else