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 982ae6b85c3af48719ee6ed63c940cbe96a741ef..cd6e1c52f32b0c16b073dd2bf7802905484f6344 100644 (file)
--- 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 033a2c91b601ce851e3795783ab1407df4d6ad4a..ac54ed070e73a2b931d348c216faa21b2070ecd9 100755 (executable)
--- 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
 }