diff options
| -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() { |