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 <kai@kaishome.de>
This commit is contained in:
Kai Krakow 2018-10-09 00:39:12 +02:00
parent 5396370e5d
commit b2870671bd

View File

@ -4,7 +4,7 @@
# Ensure we are at the project root # Ensure we are at the project root
cd "$(dirname $0)"/.. 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 chmod +x git-clang-format; then
if [[ "$1" == "--pre-commit" ]]; then if [[ "$1" == "--pre-commit" ]]; then