diff options
| author | Laurence Kedward <laurence.kedward@bristol.ac.uk> | 2021-03-02 09:03:55 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-02 09:03:55 +0000 |
| commit | 50390f37b2a32fa326425add5e6609ad70b07f7d (patch) | |
| tree | 5dd381cc6ca826142c8a53f897ace3fff0638dac /install.sh | |
| parent | 8c65d9e3a8347f6f076e92236a2c3d9fd014edea (diff) | |
| download | fpm-50390f37b2a32fa326425add5e6609ad70b07f7d.tar.gz fpm-50390f37b2a32fa326425add5e6609ad70b07f7d.zip | |
Update install.sh
Co-authored-by: Sebastian Ehlert <28669218+awvwgk@users.noreply.github.com>
Diffstat (limited to 'install.sh')
| -rwxr-xr-x | install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -32,7 +32,7 @@ STATIC=false HASKELL_ONLY=false STACK_BIN_PATH="$HOME/.local/bin" -REF=$(git tag | tail -n1) +REF=$(git describe --tag --abbrev=0) RELEASE_FLAGS="--flag -g --flag -fbacktrace --flag -O3" while [ "$1" != "" ]; do @@ -128,4 +128,4 @@ if [ -x "$INSTALL_PATH/fpm" ]; then else echo "ERROR: fpm installation unsuccessful: fpm not found in $INSTALL_PATH" exit 1 -fi
\ No newline at end of file +fi |