diff options
-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 |