Merge pull request #3288 from kayuri/SOL3277--Properly-handle-release-tag

Handle git release tag properly
This commit is contained in:
chriseth 2017-12-06 16:15:25 +01:00 committed by GitHub
commit 1343770dfe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,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" &&