K 10
svn:author
V 6
rakuco
K 8
svn:date
V 27
2013-08-15T11:39:41.679599Z
K 7
svn:log
V 344
Make the sed(1) call to add a GDB index to generated files work with base sed.

Add my upstream patch to fix it: use a POSIX-compliant call instead of one
that only works with GNU sed.

Note that it does not still work automatically because `gdb' is called, and
the version we have in base does not support index generation.

PR:		ports/181146

END