diff options
| -rwxr-xr-x | scripts/build.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 362acced..bddbb97a 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -1,9 +1,5 @@ #!/usr/bin/env bash -if [[ "$(git tag --points-at HEAD 2>/dev/null)"=="v*" ]]; then - touch prerelease.txt -fi - if [ -z "$1" ]; then BUILD_TYPE=Release else @@ -11,6 +7,11 @@ else fi cd $(dirname "$0")/.. && + +if [[ "$(git tag --points-at HEAD 2>/dev/null)" == v* ]]; then + touch prerelease.txt +fi + mkdir -p build && cd build && cmake .. -DCMAKE_BUILD_TYPE="$BUILD_TYPE" && |