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 de Vries<t...@codesourcery.com> * check_GNU_style.sh: Check if files exists.
OK. jeff
