bootstrap.sh: fails if there is no entry for a tool os combination (#19640)

This commit is contained in:
autoantwort 2021-08-30 18:50:49 +02:00 committed by GitHub
parent de623488c7
commit 8602e5facb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -165,8 +165,8 @@ fetchTool()
xmlFileAsString=`cat "$vcpkgRootDir/scripts/vcpkgTools.xml"`
toolRegexStart="<tool name=\"$tool\" os=\"$os\">"
toolData="$(extractStringBetweenDelimiters "$xmlFileAsString" "$toolRegexStart" "</tool>")"
if [ "$toolData" = "" ]; then
echo "Unknown tool: $tool"
if [ "$toolData" = "" ] || [[ "$toolData" == "<?xml"* ]]; then
echo "No entry for $toolRegexStart in $vcpkgRootDir/scripts/vcpkgTools.xml"
return 1
fi