diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-11 16:26:28 -0500 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-11 16:26:43 -0500 |
commit | d0ed95b9ff1c8087c9e18f0226ab89823cfebbe3 (patch) | |
tree | 0715d619c5df4e8f6d3df13d9ded03eedb2cec73 /top | |
parent | e0e5ec8af025bf72ec5cddcaed79b4556e6c93b3 (diff) | |
download | gnulib-d0ed95b9ff1c8087c9e18f0226ab89823cfebbe3.tar.gz |
verify: improve maint check
* top/maint.mk (sc_prohibit_verify_without_use):
Adjust re to match verify.h.
Diffstat (limited to 'top')
-rw-r--r-- | top/maint.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/top/maint.mk b/top/maint.mk index 5745d5831d..41a67e852c 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -765,7 +765,7 @@ sc_prohibit_dirent_without_use: # Prohibit the inclusion of verify.h without an actual use. sc_prohibit_verify_without_use: @h='verify.h' \ - re='\<(verify(true|expr)?|assume|static_assert) *\(' \ + re='\<(verify(_expr)?|assume) *\(' \ $(_sc_header_without_use) # Don't include xfreopen.h unless you use one of its functions. |