From 24eb972cae0f0cbe228ddcf9d653db38688d8cfd Mon Sep 17 00:00:00 2001 From: Pak Lui <5041261+paklui@users.noreply.github.com> Date: Thu, 17 Oct 2019 15:38:37 -0700 Subject: [PATCH] fix syntax error for string comparison --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 32e5dc4d4e..7c8a865ef5 100755 --- a/install.sh +++ b/install.sh @@ -78,7 +78,7 @@ build_dir=./build rm -rf ${build_dir} if ($mpi_enabled); then - if [[ ${mpi_dir} -eq "" ]]; then + if [[ ${mpi_dir} == "" ]]; then echo "MPI flag enabled but path to MPI installation not specified. See --mpi_home command line argument." exit 1 else