diff options
Diffstat (limited to 'top')
-rw-r--r-- | top/maint.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/top/maint.mk b/top/maint.mk index 045609c285..85b15fb2d2 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1373,6 +1373,10 @@ sc_vulnerable_makefile_CVE-2012-3386: ' see https://bugzilla.redhat.com/show_bug.cgi?id=CVE-2012-3386 for details') \ $(_sc_search_regexp) +sc_unportable_grep_q: + @prohibit='grep -q' halt="unportable 'grep -q', use >/dev/null instead" \ + $(_sc_search_regexp) + vc-diff-check: $(AM_V_GEN)(unset CDPATH; cd $(srcdir) && $(VC) diff) > vc-diffs || : $(AM_V_at)if test -s vc-diffs; then \ |