mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
docs_version_pragma_check.sh: Don't treat missing compiler version as an error if it's the current dev version
This commit is contained in:
parent
203ebf89bb
commit
d8d5b3ab20
@ -32,6 +32,8 @@ SOLIDITY_BUILD_DIR=${SOLIDITY_BUILD_DIR:-${REPO_ROOT}/build}
|
|||||||
source "${REPO_ROOT}/scripts/common.sh"
|
source "${REPO_ROOT}/scripts/common.sh"
|
||||||
source "${REPO_ROOT}/scripts/common_cmdline.sh"
|
source "${REPO_ROOT}/scripts/common_cmdline.sh"
|
||||||
|
|
||||||
|
developmentVersion=$("$REPO_ROOT/scripts/get_version.sh")
|
||||||
|
|
||||||
function versionGreater()
|
function versionGreater()
|
||||||
{
|
{
|
||||||
v1=$1
|
v1=$1
|
||||||
@ -104,7 +106,7 @@ function findMinimalVersion()
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
version=""
|
version=""
|
||||||
for ver in "${allVersions[@]}"
|
for ver in "${allVersions[@]}" "$developmentVersion"
|
||||||
do
|
do
|
||||||
if versionGreater "$ver" "$pragmaVersion"
|
if versionGreater "$ver" "$pragmaVersion"
|
||||||
then
|
then
|
||||||
@ -165,6 +167,11 @@ SOLTMPDIR=$(mktemp -d)
|
|||||||
then
|
then
|
||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
if [[ "$version" == "$developmentVersion" ]]
|
||||||
|
then
|
||||||
|
printWarning "Skipping unreleased development version $developmentVersion"
|
||||||
|
continue
|
||||||
|
fi
|
||||||
|
|
||||||
opts="$opts -v $version"
|
opts="$opts -v $version"
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user