diff --git a/tools/precommit/precommit_server.py b/tools/precommit/precommit_server.py index 551f1bdc34..9f37116c6f 100644 --- a/tools/precommit/precommit_server.py +++ b/tools/precommit/precommit_server.py @@ -45,7 +45,7 @@ def shfmt(): # ====================================================================================== @app.route("/shellcheck", methods=["POST"]) def shellcheck(): - return run_tool(["shellcheck"]) + return run_tool(["shellcheck"], timeout=10) # ======================================================================================