check_GNU_style.sh: Fix quoting in cat_with_prefix
authorTom de Vries <tom@codesourcery.com>
Wed, 15 Jul 2015 15:41:21 +0000 (15:41 +0000)
committerTom de Vries <vries@gcc.gnu.org>
Wed, 15 Jul 2015 15:41:21 +0000 (15:41 +0000)
commit7392b0906f329b552ab6de61a2248f860acfcd7a
treeefb81d7c02233d8bbda73ba494a9a2e307697c18
parent6b8068d653b2fc19de7839d64fc6e19dc420dc30
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
contrib/ChangeLog
contrib/check_GNU_style.sh