diff --git a/configure b/configure index 2ae1bea88f0..1e3521e47ce 100755 --- a/configure +++ b/configure @@ -17606,7 +17606,7 @@ fi CFLAGS="$_SAVE_CFLAGS" -if test -n $INTEL_CC; then +if test -n "$INTEL_CC"; then PROFILE_GEN_CFLAGS="-prof-gen -prof-dir ." PROFILE_GEN_LDFLAGS= PROFILE_USE_CFLAGS="-prof-use -prof-dir ."