diff --git a/tools/build-all-docker-images b/tools/build-all-docker-images index 945fd2480c..888d25aac8 100755 --- a/tools/build-all-docker-images +++ b/tools/build-all-docker-images @@ -128,7 +128,7 @@ function interrupted { exit 1 } -function usage () { +function usage { read -r -d '' HELP <