From: vries <vries@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 15 Jul 2015 15:41:21 +0000 (+0000)
Subject: check_GNU_style.sh: Fix quoting in cat_with_prefix
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=816d218b70d367fbe15c530a752cd7f28a5df080;p=thirdparty%2Fgcc.git

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225837 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 982ae6b85c3a..cd6e1c52f32b 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 033a2c91b601..ac54ed070e73 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
 }