]> Savannah Git Hosting - gnulib.git/commitdiff
verify: improve maint check
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 11 Sep 2022 21:26:28 +0000 (16:26 -0500)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 11 Sep 2022 21:26:43 +0000 (16:26 -0500)
* top/maint.mk (sc_prohibit_verify_without_use):
Adjust re to match verify.h.

ChangeLog
top/maint.mk

index f4d9ce41390de5c12da7f59b9d319c07fc5c52fa..de864c16369e2f2a52177963a6d12cc5d6673528 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2022-09-11  Paul Eggert  <eggert@cs.ucla.edu>
 
+       verify: improve maint check
+       * top/maint.mk (sc_prohibit_verify_without_use):
+       Adjust re to match verify.h.
+
        verify: port better to C23
        * lib/verify.h (_GL_VERIFY, static_assert):
        If C23, use static_assert keyword; no macro.
index 5745d5831da838f58940ee69dcabe57c93d0962d..41a67e852cb8ff7e3605446b97c6b2f45a7fbda4 100644 (file)
@@ -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.