diff options
Diffstat (limited to 'scripts/check.sh')
| -rwxr-xr-x | scripts/check.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/check.sh b/scripts/check.sh index af7e50d9..22ff7459 100755 --- a/scripts/check.sh +++ b/scripts/check.sh @@ -10,10 +10,6 @@ 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() { |