diff options
| author | Jakob Kaivo <jkk@ung.org> | 2024-01-30 12:59:29 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2024-01-30 12:59:29 -0500 |
| commit | 162163d2d66381f1d2f9e7ed2f8c51a6686a0c13 (patch) | |
| tree | 52527d495a177415eefd422925f17478bc86eb9f | |
| parent | e6f5177cb5e68765cd85c2293f88c9ffa119110a (diff) | |
check for old _assert.h name
| -rwxr-xr-x | scripts/check.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/check.sh b/scripts/check.sh index 307f3533..0231db1a 100755 --- a/scripts/check.sh +++ b/scripts/check.sh @@ -10,6 +10,10 @@ check_signal_safety() { if ! (grep -q -F 'SIGNAL_SAFE(' "$1"); then printf '%s has no signal safety information\n' "$1" fi + + if (grep -q -F '_assert.h' "$1"); then + printf '%s still refers to _assert.h\n' "$1" + fi } check_file() { |