diff options
| -rw-r--r-- | contrib/ChangeLog | 4 | ||||
| -rwxr-xr-x | contrib/check_GNU_style.sh | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 982ae6b..cd6e1c5 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 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 } |