aboutsummaryrefslogtreecommitdiff
path: root/install.sh
diff options
context:
space:
mode:
authorLKedward <laurence.kedward@bristol.ac.uk>2020-11-10 13:57:08 +0000
committerLKedward <laurence.kedward@bristol.ac.uk>2020-11-10 13:57:08 +0000
commitb745a82cc0c2bfd33f1775496420a051f3909e3d (patch)
tree8407e3c0c29e37d89248d93d9751b74230181047 /install.sh
parent144046926629b94da1b18ad19038e4c9ec372b2a (diff)
parentd569a89d7d059a5ba914e51d6fd7b32132b33c5e (diff)
downloadfpm-b745a82cc0c2bfd33f1775496420a051f3909e3d.tar.gz
fpm-b745a82cc0c2bfd33f1775496420a051f3909e3d.zip
Merge branch 'upstream_master' into refactor-run-cmd
Diffstat (limited to 'install.sh')
-rwxr-xr-xinstall.sh4
1 files changed, 2 insertions, 2 deletions
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"