From b2870671bd38379c7d93ad396abc0bf1d5d96006 Mon Sep 17 00:00:00 2001 From: Kai Krakow Date: Tue, 9 Oct 2018 00:39:12 +0200 Subject: [PATCH] formatcheck: Use a shorter timeout If the internet connection is down, the default timeout of wget is unreasonably long. If formatcheck is used as a pre-commit hook, this blocks usage of git for a long time although we probably have git-clang-format available. Signed-off-by: Kai Krakow --- scripts/format-check.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/format-check.sh b/scripts/format-check.sh index a2384e0..00306c2 100755 --- a/scripts/format-check.sh +++ b/scripts/format-check.sh @@ -4,7 +4,7 @@ # Ensure we are at the project root cd "$(dirname $0)"/.. -wget -Nq https://llvm.org/svn/llvm-project/cfe/trunk/tools/clang-format/git-clang-format +wget -Nq -T3 -t1 https://llvm.org/svn/llvm-project/cfe/trunk/tools/clang-format/git-clang-format if chmod +x git-clang-format; then if [[ "$1" == "--pre-commit" ]]; then