Ignore "no version found" check for pragmas containing "99".

This commit is contained in:
chriseth 2020-12-14 14:02:50 +01:00
parent 843e37b6e6
commit b03d110528

View File

@ -119,9 +119,14 @@ function findMinimalVersion()
if [ -z "$version" ]
then
if [[ "$greater" = true && "$pragmaVersion" =~ 99 ]]
then
printError "Skipping version check for pragma: $pragmaVersion"
else
printError "No release $sign$pragmaVersion was listed in available releases!"
exit 1
fi
fi
}
printTask "Verifying that all examples from the documentation have the correct version range..."