From acc3585373d5336d89ac1bfc3548897ef848907c Mon Sep 17 00:00:00 2001
From: Damian Rouson <damian@sourceryinstitute.org>
Date: Tue, 27 Oct 2020 12:29:04 -0700
Subject: fix(install.sh): remove "[["/"]]"

---
 install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'install.sh')

diff --git a/install.sh b/install.sh
index 862de25..78933db 100755
--- a/install.sh
+++ b/install.sh
@@ -19,14 +19,14 @@ else
   fi
 fi
 
-if [[ -x "$install_path/fpm" ]]; then
+if [ -x "$install_path/fpm" ]; then
   echo "Overwriting existing fpm installation in $install_path"
 fi
 
 cd bootstrap
 stack install
 
-if [[ -x "$install_path/fpm" ]]; then
+if [ -x "$install_path/fpm" ]; then
   echo "fpm installed successfully to $install_path"
 else
   echo "fpm installation unsuccessful: fpm not found in $install_path"
-- 
cgit v1.2.3