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

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 982ae6b..cd6e1c5 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 033a2c9..ac54ed0 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
 }