K 10
svn:author
V 7
delphij
K 8
svn:date
V 27
2015-10-14T01:07:02.935283Z
K 7
svn:log
V 200
Use pipe sign (|) instead of comma (,) when doing sed.  This fixes a
problem when the variable portion of sed command contains comma, for
instance, when USE_GCC=4.9.

PR:		192297
Submitted by:	marino

END