mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Added git installed check
This commit is contained in:
parent
30dc01eb97
commit
8a1a30befa
@ -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,6 +16,7 @@ else
|
|||||||
BUILD_TYPE="$1"
|
BUILD_TYPE="$1"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# 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
|
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