From 7392b0906f329b552ab6de61a2248f860acfcd7a Mon Sep 17 00:00:00 2001
From: Tom de Vries <tom@codesourcery.com>
Date: Wed, 15 Jul 2015 15:41:21 +0000
Subject: [PATCH] check_GNU_style.sh: Fix quoting in cat_with_prefix

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

	* check_GNU_style.sh (cat_with_prefix): Fix quoting.

From-SVN: r225837
---
 contrib/ChangeLog          | 4 ++++
 contrib/check_GNU_style.sh | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 982ae6b85c3..cd6e1c52f32 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,7 @@
+2015-07-15  Tom de Vries  <tom@codesourcery.com>
+
+	* check_GNU_style.sh (cat_with_prefix): Fix quoting.
+
 2015-06-02  Steve Ellcey  <sellcey@imgtec.com>
 
 	* test_installed (--target=): New option.
diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh
index 033a2c91b60..ac54ed070e7 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
 }
 
-- 
2.30.2