[Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory

2019-10-24 Thread zhongshiqi
Put a modification in scripts/coccicheck which supports users in configuring COCCI parameter as a directory to traverse files in directory whose next level directory contains rule files with Suffix of cocci. Signed-off-by: zhongshiqi --- Changes in v2: 1.fix patch subject according to

Re: [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory

2019-10-24 Thread Julia Lawall
On Thu, 24 Oct 2019, zhongshiqi wrote: > Put a modification in scripts/coccicheck which supports users in > configuring COCCI parameter as a directory to traverse files in > directory whose next level directory contains rule files with Suffix of > cocci. While I thought the original was fine,