[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <alpine.DEB.2.20.1710260601520.17107@hadrien>
Date: Thu, 26 Oct 2017 06:02:43 +0200 (CEST)
From: Julia Lawall <julia.lawall@...6.fr>
To: Masahiro Yamada <yamada.masahiro@...ionext.com>
cc: "Luis R . Rodriguez" <mcgrof@...nel.org>,
kernel-janitors@...r.kernel.org,
Gilles Muller <Gilles.Muller@...6.fr>,
Nicolas Palix <nicolas.palix@...g.fr>,
Michal Marek <michal.lkml@...kovi.net>, cocci@...teme.lip6.fr,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH] Coccinelle: make DEBUG_FILE option more useful
On Thu, 26 Oct 2017, Masahiro Yamada wrote:
> Hi Julia,
>
>
> 2017-10-15 18:55 GMT+09:00 Julia Lawall <Julia.Lawall@...6.fr>:
> > Make coccicheck checked for the existence of DEBUG_FILE on each semantic
> > patch, and bailed if it already existed. This meant that DEBUG_FILE was
> > useless for checking more than one semantic patch at a time. Now the check
> > is moved to the start of make coccicheck, and the 2> is changed to a 2>> to
> > append to the file on each semantic patch. Furthermore, the spatch command
> > that is run for each semantic patch is also added to the DEBUG_FILE, to
> > make clear what each stdout trace corresponds to.
> >
> > Signed-off-by: Julia Lawall <Julia.Lawall@...6.fr>
> >
>
> I think this is a good improvement,
> and looks almost good to me.
>
> Just one nit.
>
>
> >
> > }
> >
> > +if [ "$DEBUG_FILE" != "/dev/null" -a "$DEBUG_FILE" != "" ]; then
> > + if [ -f $DEBUG_FILE ]; then
> > + echo "Debug file $DEBUG_FILE exists, bailing"
> > + exit
> > + fi
> > + touch $DEBUG_FILE
>
> I think this "touch" is redundant.
>
> If the DEBUG_FILE does not exist, 2>> will automatically create it.
Thanks very much for the feedback. I will resubmit.
julia
>
>
>
>
> > +else
> > + DEBUG_FILE="/dev/null"
> > +fi
> > +
> > if [ "$COCCI" = "" ] ; then
> > for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do
> > coccinelle $f
> >
>
>
>
> --
> Best Regards
> Masahiro Yamada
>
Powered by blists - more mailing lists