From a739c5441b04370e62bbd4fbba0aa3c4663ac857 Mon Sep 17 00:00:00 2001
From: Ivan Zahariev <famzah@users.noreply.github.com>
Date: Mon, 17 Oct 2016 22:48:43 +0300
Subject: [PATCH] Minor Bash syntax improvements

---
 run.sh | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/run.sh b/run.sh
index ab4e0a5..93ac6e0 100755
--- a/run.sh
+++ b/run.sh
@@ -8,14 +8,14 @@ MIN_NLINES="${MIN_NLINES:=10}" # it's a fatal error if we get less than this num
 SRC_FILTER="${SRC_FILTER:=x}" # if provided, execute only the given test
 DRY_RUN="${DRY_RUN:=0}" # if enabled, do only the compilation phase
 
-_OS=$(uname)
-if [ "$_OS" = "Linux" ]; then
-    TIME_CMD=$(which time)
-elif [ "$_OS" = "Darwin" ]; then
-    TIME_CMD=$(which gtime)
+_OS="$(uname)"
+if [ "$_OS" == "Linux" ]; then
+    TIME_CMD="$(which time)"
+elif [ "$_OS" == "Darwin" ]; then
+    TIME_CMD="$(which gtime)"
 fi
 
-if [ "$TIME_CMD" = "" ]; then
+if [ "$TIME_CMD" == "" ]; then
     echo "Unable to find the GNU time command."
     echo "If you are on a non Linux OS such as Mac OS or *BSD you will need to install it separately."
     exit -1
@@ -65,7 +65,7 @@ function run_benchmark() {
 
 		OUT="$(
 		{
-			$TIME_CMD -o "$TIMES_FILE" --format \
+			"$TIME_CMD" -o "$TIMES_FILE" --format \
 				'real_TIME:%esec user_CPU:%Usec sys_CPU:%Ssec max_RSS:%Mkb swaps:%W ctx_sw:%c+%w' \
 				$RUN_CMD
 		} 2>&1