From 8602e5facbc255cff84f0101cac150bb74296e20 Mon Sep 17 00:00:00 2001 From: autoantwort <41973254+autoantwort@users.noreply.github.com> Date: Mon, 30 Aug 2021 18:50:49 +0200 Subject: [PATCH] bootstrap.sh: fails if there is no entry for a tool os combination (#19640) --- scripts/bootstrap.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/bootstrap.sh b/scripts/bootstrap.sh index 1a3253ec9e..a20fcb3921 100644 --- a/scripts/bootstrap.sh +++ b/scripts/bootstrap.sh @@ -165,8 +165,8 @@ fetchTool() xmlFileAsString=`cat "$vcpkgRootDir/scripts/vcpkgTools.xml"` toolRegexStart="" toolData="$(extractStringBetweenDelimiters "$xmlFileAsString" "$toolRegexStart" "")" - if [ "$toolData" = "" ]; then - echo "Unknown tool: $tool" + if [ "$toolData" = "" ] || [[ "$toolData" == "