diff options
| author | Jakob Kaivo <jkk@ung.org> | 2024-01-31 00:04:19 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2024-01-31 00:04:19 -0500 |
| commit | 0df5a8fa0361e06a46240689d01665c1c59ef7c4 (patch) | |
| tree | 5779de2aada743b9c5b610198b006083b2497956 /scripts | |
| parent | 36bd6c283383851664bbe598601c99385e5dcd43 (diff) | |
remove last vestiges of _assert.h (now _safety.h)
Diffstat (limited to 'scripts')
| -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() { |