Re: [PATCH, 2/5] check_GNU_style.sh: Check file presence

2015-05-12 Thread Jeff Law
On 05/12/2015 01:28 AM, Tom de Vries wrote: Hi, this patch checks that the files specified on the check_GNU_style.sh command line are present. OK for trunk? Thanks, - Tom 0002-check_GNU_style.sh-Check-file-presence.patch [PATCH 2/5] check_GNU_style.sh: Check file presence 2015-05-11 Tom

[PATCH, 2/5] check_GNU_style.sh: Check file presence

2015-05-12 Thread Tom de Vries
Hi, this patch checks that the files specified on the check_GNU_style.sh command line are present. OK for trunk? Thanks, - Tom [PATCH 2/5] check_GNU_style.sh: Check file presence 2015-05-11 Tom de Vries * check_GNU_style.sh: Check if files exists. --- contrib/check_GNU_style.sh | 7