diff --git a/tools/pre-commit b/tools/pre-commit index 85b7b1001e..ec5be005da 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -1 +1 @@ -./tools/check-all || true +./tools/lint-all || true