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 + + * check_GNU_style.sh (cat_with_prefix): Fix quoting. + 2015-06-02 Steve Ellcey * 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 }