Updating grep to use latest gnulib exposed this:
"make syntax-check" would fail with this:

  src/kwset.c
  maint.mk: the above files include verify.h but don't use it
  maint.mk:698: recipe for target 'sc_prohibit_verify_without_use' failed
  make: *** [sc_prohibit_verify_without_use] Error 1

I've pushed the attached:
From 8e2bc0b51c8e58e4c20a99ea21c84bcd6ad9d495 Mon Sep 17 00:00:00 2001
From: Jim Meyering <meyer...@fb.com>
Date: Sat, 13 May 2017 18:18:22 -0700
Subject: [PATCH] maint.mk: update regex to reflect 2013 addition of "assume"
 to verify.h

* top/maint.mk (sc_prohibit_verify_without_use): Don't reject a source
file that uses the assume macro, claiming that verify.h is unused.
---
 ChangeLog    | 6 ++++++
 top/maint.mk | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 0ef54ee..5a1d5c0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2017-05-13  Jim Meyering  <meyer...@fb.com>
+
+       maint.mk: update regex to reflect 2013 addition of "assume" to verify.h
+       * top/maint.mk (sc_prohibit_verify_without_use): Don't reject a source
+       file that uses the assume macro, claiming that verify.h is unused.
+
 2017-05-13  Bruno Haible  <br...@clisp.org>

        Use symbolic values for _WIN32_WINNT.
diff --git a/top/maint.mk b/top/maint.mk
index 0cabd2f..09a98bc 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -696,7 +696,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)?|static_assert) *\('                   \
+       re='\<(verify(true|expr)?|assume|static_assert) *\('            \
          $(_sc_header_without_use)

 # Don't include xfreopen.h unless you use one of its functions.
-- 
2.9.3

Reply via email to