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
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"
>
Hi,
committed as obvious.
Thanks,
- Tom
check_GNU_style.sh: Don't cat empty file
2015-05-18 Tom de Vries
* check_GNU_style.sh (g, ag, vg): Don't cat empty file.
---
contrib/check_GNU_style.sh | 30 --
1 file changed, 24 insertions(+), 6 deletion