Re: check_GNU_style.sh: Don't cat empty file

2015-05-18 Thread Tom de Vries
On 18-05-15 10:31, Andreas Schwab wrote: Tom de Vries writes: diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh index 728c11a..ab59b1e 100755 --- a/contrib/check_GNU_style.sh +++ b/contrib/check_GNU_style.sh @@ -84,10 +84,16 @@ grep $format '^+' $files \ g (){ local

Re: check_GNU_style.sh: Don't cat empty file

2015-05-18 Thread Andreas Schwab
Tom de Vries writes: > diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh > index 728c11a..ab59b1e 100755 > --- a/contrib/check_GNU_style.sh > +++ b/contrib/check_GNU_style.sh > @@ -84,10 +84,16 @@ grep $format '^+' $files \ > g (){ > local msg="$1" > local arg="$2" >