diff options
author | Milan Curcic <caomaco@gmail.com> | 2020-11-09 17:05:22 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-09 17:05:22 -0500 |
commit | 277828ddfb29c2c0c3fe615cb4f427573ac320aa (patch) | |
tree | d2d26f449359fde8975b0a9269ff9d4cf22b9327 /install.sh | |
parent | 932b93b0a13e2b8a4595ec29101ee38785a15e60 (diff) | |
parent | acc3585373d5336d89ac1bfc3548897ef848907c (diff) | |
download | fpm-277828ddfb29c2c0c3fe615cb4f427573ac320aa.tar.gz fpm-277828ddfb29c2c0c3fe615cb4f427573ac320aa.zip |
Merge pull request #216 from sourceryinstitute/remove-bashism
Remove bashism from install.sh
Diffstat (limited to 'install.sh')
-rwxr-xr-x | install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" |