[Cocci] [PATCH] Coccinelle: make DEBUG_FILE option more useful

Julia Lawall julia.lawall at lip6.fr
Wed Nov 8 14:02:12 CET 2017



On Tue, 7 Nov 2017, Masahiro Yamada wrote:

> 2017-10-26 13:02 GMT+09:00 Julia Lawall <julia.lawall at lip6.fr>:
> >
> >
> > On Thu, 26 Oct 2017, Masahiro Yamada wrote:
> >
> >> Hi Julia,
> >>
> >>
> >> 2017-10-15 18:55 GMT+09:00 Julia Lawall <Julia.Lawall at lip6.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 at lip6.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
> >
> >
>
> Remove the redundant "touch"
> and applied to linux-kbuild/misc.

Thanks!

julia

>
>
>
> --
> Best Regards
> Masahiro Yamada
>


More information about the Cocci mailing list