From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S933105AbcFLVID (ORCPT ); Sun, 12 Jun 2016 17:08:03 -0400 Received: from mail-io0-f182.google.com ([209.85.223.182]:36793 "EHLO mail-io0-f182.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932521AbcFLVIB (ORCPT ); Sun, 12 Jun 2016 17:08:01 -0400 MIME-Version: 1.0 In-Reply-To: References: <1465758279-16111-1-git-send-email-deepa.kernel@gmail.com> From: Deepa Dinamani Date: Sun, 12 Jun 2016 14:08:00 -0700 Message-ID: Subject: Re: [PATCH] coccicheck: Allow for overriding spatch flags To: Julia Lawall Cc: Linux Kernel Mailing List , Arnd Bergmann , Gilles Muller , Nicolas Palix , Michal Marek Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org >> >> Documentation/coccinelle.txt suggests using the SPFLAGS >> >> make variable to pass additional options to spatch. >> >> >> >> Reorder the way SPFLAGS is added to FLAGS, to allow >> >> for options in the SPFLAGS to override the default >> >> --very-quiet option. >> >> >> >> Similarly, rearrage the FLAGS for org or report mode. >> >> This allows for overriding of the default --no-show-diff >> >> option through SPFLAGS. >> > >> > The first looks like a good idea, but do you find a use case for the >> > second? The diff that is shown in org or report mode may be sort of >> > random. It is just an easy hack to reuse the same pattern code for >> > context, org, and report modes, but there isn't an intent to see the diff >> > produced by context mode in org or report mode. >> >> I thought this at first, that org report mode wouldn't need it the diff. >> But if a user wishes to override the option, then why should we not >> accept that the user knows what they are doing? > > I guess... Another issue is that the org/report mode output comes from > python, and the diff output comes from ocaml. They are not synchronized. > Ie, the report won't come out next to the relevant diff. Ok. I was just thinking of user as the final authority because I was trying to get more debug output for my script. And, yes I only wanted to override the --very-quiet. I just thought since --no-show-diff was a similar issue, it would be good to do the same thing here. Let me know if you want me to leave out the second rearrange and submit a v2. -Deepa