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

2017-11-08 Thread Julia Lawall
On Tue, 7 Nov 2017, Masahiro Yamada wrote: > 2017-10-26 13:02 GMT+09:00 Julia Lawall : > > > > > > On Thu, 26 Oct 2017, Masahiro Yamada wrote: > > > >> Hi Julia, > >> > >> > >> 2017-10-15 18:55 GMT+09:00 Julia Lawall : > >> > Make coccicheck checked for the existence of DEBUG_FILE on each semant

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

2017-11-06 Thread Masahiro Yamada
2017-10-26 13:02 GMT+09:00 Julia Lawall : > > > On Thu, 26 Oct 2017, Masahiro Yamada wrote: > >> Hi Julia, >> >> >> 2017-10-15 18:55 GMT+09:00 Julia Lawall : >> > Make coccicheck checked for the existence of DEBUG_FILE on each semantic >> > patch, and bailed if it already existed. This meant that

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

2017-10-25 Thread Julia Lawall
On Thu, 26 Oct 2017, Masahiro Yamada wrote: > Hi Julia, > > > 2017-10-15 18:55 GMT+09:00 Julia Lawall : > > 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

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

2017-10-25 Thread Masahiro Yamada
Hi Julia, 2017-10-15 18:55 GMT+09:00 Julia Lawall : > 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

[PATCH] Coccinelle: make DEBUG_FILE option more useful

2017-10-15 Thread Julia Lawall
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 a