From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752113AbcF2WLO (ORCPT ); Wed, 29 Jun 2016 18:11:14 -0400 Received: from mail.kernel.org ([198.145.29.136]:39796 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751541AbcF2WLJ (ORCPT ); Wed, 29 Jun 2016 18:11:09 -0400 From: "Luis R. Rodriguez" To: Julia.Lawall@lip6.fr, nicolas.palix@imag.fr, Gilles.Muller@lip6.fr, mmarek@suse.com Cc: akpm@linux-foundation.org, gregkh@linuxfoundation.org, markivx@codeaurora.org, stephen.boyd@linaro.org, zohar@linux.vnet.ibm.com, broonie@kernel.org, ming.lei@canonical.com, tiwai@suse.d, johannes@sipsolutions.net, chunkeey@googlemail.com, hauke@hauke-m.de, jwboyer@fedoraproject.org, dmitry.torokhov@gmail.com, dwmw2@infradead.org, jslaby@suse.com, torvalds@linux-foundation.org, deepa.kernel@gmail.com, keescook@chromium.org, cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org, "Luis R. Rodriguez" Subject: [RFC v4 0/9] coccicheck: private review for modernization Date: Wed, 29 Jun 2016 15:10:17 -0700 Message-Id: <1467238226-10822-1-git-send-email-mcgrof@kernel.org> X-Mailer: git-send-email 2.7.0 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Here's a v4 RFC, sending it privately to avoid bikeshedding in public. These are rebased on top of linux-next tag next-20160623. Luis R. Rodriguez (9): coccicheck: move spatch binary check up coccicheck: make SPFLAGS more useful coccicheck: enable parmap support coccicheck: add support for DEBUG_FILE coccicheck: replace --very-quiet with --quit when debugging scripts: add Linux .cocciconfig for coccinelle coccicheck: add support for requring a coccinelle version coccicheck: refer to Documentation/coccinelle.txt and wiki scripts/coccinelle: require coccinelle >= 1.0.4 on device_node_continue.cocci .cocciconfig | 3 + .gitignore | 1 + Documentation/coccinelle.txt | 125 ++++++++++++++++++++- scripts/coccicheck | 96 ++++++++++++++-- .../iterators/device_node_continue.cocci | 3 + 5 files changed, 218 insertions(+), 10 deletions(-) create mode 100644 .cocciconfig -- 2.8.4