aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.pre-commit-config.yaml2
-rwxr-xr-xgdb/contrib/check-whitespace-pre-commit.py52
-rwxr-xr-xgdb/contrib/check-whitespace-pre-commit.sh19
3 files changed, 53 insertions, 20 deletions
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 180c330..a78659c 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -100,7 +100,7 @@ repos:
- id: check-whitespace
name: check-whitespace
language: script
- entry: gdb/contrib/check-whitespace-pre-commit.sh
+ entry: gdb/contrib/check-whitespace-pre-commit.py
files: '^(gdb(support|server)?)/.*$'
pass_filenames: true
stages: [pre-commit]
diff --git a/gdb/contrib/check-whitespace-pre-commit.py b/gdb/contrib/check-whitespace-pre-commit.py
new file mode 100755
index 0000000..8326280
--- /dev/null
+++ b/gdb/contrib/check-whitespace-pre-commit.py
@@ -0,0 +1,52 @@
+#! /usr/bin/env python3
+
+# Copyright (C) 2025 Free Software Foundation, Inc.
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+import re
+import subprocess
+import sys
+
+re_clean = re.compile("(^|/)gdb/testsuite/")
+re_ignore = re.compile("/configure$")
+
+clean = []
+other = []
+for f in sys.argv[1:]:
+ m = re_ignore.search(f)
+ if m:
+ continue
+
+ m = re_clean.search(f)
+ if m:
+ clean.append(f)
+ else:
+ other.append(f)
+
+if other:
+ cmd = ["git", "--no-pager", "diff", "--staged", "--check"] + other
+ res = subprocess.run(cmd)
+ if res.returncode != 0:
+ sys.exit(res.returncode)
+
+if clean:
+ cmd = ["git", "hash-object", "-t", "tree", "/dev/null"]
+ res = subprocess.run(cmd, capture_output=True, text=True)
+ if res.returncode != 0:
+ sys.exit(res.returncode)
+ null_tree = res.stdout.rstrip("\n")
+
+ cmd = ["git", "diff-index", "--cached", "--check", null_tree] + clean
+ res = subprocess.run(cmd)
+ sys.exit(res.returncode)
diff --git a/gdb/contrib/check-whitespace-pre-commit.sh b/gdb/contrib/check-whitespace-pre-commit.sh
deleted file mode 100755
index db45dc2..0000000
--- a/gdb/contrib/check-whitespace-pre-commit.sh
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-
-# Copyright (C) 2025 Free Software Foundation, Inc.
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 3 of the License, or
-# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
-
-set -e
-
-git --no-pager diff --staged --check "$@"