summaryrefslogtreecommitdiff
path: root/top/maint.mk
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 /top/maint.mk
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.
Diffstat (limited to 'top/maint.mk')
-rw-r--r--top/maint.mk2
1 files changed, 1 insertions, 1 deletions
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.