diff --git a/scripts/build-tools.sh b/scripts/build-tools.sh index 1b5db84d5881..a8302f24ba0c 100755 --- a/scripts/build-tools.sh +++ b/scripts/build-tools.sh @@ -5,69 +5,126 @@ # fail immediately on any errors set -e - print_usage() { cat <