[committed] check_GNU_style.sh: Fix quoting in cat_with_prefix

[Tom de Vries]

Hi,

I've committed this obvious fix.

Thanks,
- Tom

check_GNU_style.sh: Fix quoting in cat_with_prefix

2015-07-15  Tom de Vries  <t...@codesourcery.com>

	* check_GNU_style.sh (cat_with_prefix): Fix quoting.

diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh
index 033a2c9..ac54ed0 100755
--- a/contrib/check_GNU_style.sh
+++ b/contrib/check_GNU_style.sh
@@ -89,7 +89,7 @@ cat_with_prefix ()
     if [ "$prefix" = "" ]; then
 	cat "$f"
     else
-	awk "{printf "%s%s\n", $prefix, \$0}" $f
+	awk "{printf \"%s%s\n\", \"$prefix\", \$0}" $f
     fi
 }
 
-- 
1.9.1