aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMilan Curcic <caomaco@gmail.com>2020-11-09 17:05:22 -0500
committerGitHub <noreply@github.com>2020-11-09 17:05:22 -0500
commit277828ddfb29c2c0c3fe615cb4f427573ac320aa (patch)
treed2d26f449359fde8975b0a9269ff9d4cf22b9327
parent932b93b0a13e2b8a4595ec29101ee38785a15e60 (diff)
parentacc3585373d5336d89ac1bfc3548897ef848907c (diff)
downloadfpm-277828ddfb29c2c0c3fe615cb4f427573ac320aa.tar.gz
fpm-277828ddfb29c2c0c3fe615cb4f427573ac320aa.zip
Merge pull request #216 from sourceryinstitute/remove-bashism
Remove bashism from 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"