summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Meyering <meyering@fb.com>2017-05-13 18:18:22 -0700
committerJim Meyering <meyering@fb.com>2017-05-13 18:18:22 -0700
commit8e2bc0b51c8e58e4c20a99ea21c84bcd6ad9d495 (patch)
tree7e29f9629857067bbc8f068504f1d5bc4abcc2d3
parent47727ffa4119de24554d6156073f9fcb275d2742 (diff)
downloadgnulib-8e2bc0b51c8e58e4c20a99ea21c84bcd6ad9d495.tar.gz
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.
-rw-r--r--ChangeLog6
-rw-r--r--top/maint.mk2
2 files changed, 7 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index 0ef54eee24..5a1d5c0f9e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2017-05-13 Jim Meyering <meyering@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 <bruno@clisp.org>
Use symbolic values for _WIN32_WINNT.
diff --git a/top/maint.mk b/top/maint.mk
index 0cabd2f319..09a98bce80 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.