mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Merge 8a1a30befa
into 020b59680e
This commit is contained in:
commit
811de47ba8
@ -1,6 +1,12 @@
|
|||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
|
# Check if git is installed
|
||||||
|
if ! command -v git &> /dev/null; then
|
||||||
|
echo "Error: git is not installed. Please install git and try again."
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
ROOTDIR="$(dirname "$0")/.."
|
ROOTDIR="$(dirname "$0")/.."
|
||||||
BUILDDIR="${ROOTDIR}/build"
|
BUILDDIR="${ROOTDIR}/build"
|
||||||
|
|
||||||
@ -10,7 +16,8 @@ else
|
|||||||
BUILD_TYPE="$1"
|
BUILD_TYPE="$1"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [[ "$(git tag --points-at HEAD 2>/dev/null)" == v* ]]; then
|
# Check the first git tag that points to the current commit and starts with "v"
|
||||||
|
if [[ "$(git tag --points-at HEAD 2>/dev/null | head -n 1)" == v* ]]; then
|
||||||
touch "${ROOTDIR}/prerelease.txt"
|
touch "${ROOTDIR}/prerelease.txt"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user