This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: ping: Use "sed -n …" instead of "sed s/…/p -e d" in s-header-vars
- From: Olivier Hainque <hainque at adacore dot com>
- To: Paolo Bonzini <bonzini at gnu dot org>
- Cc: Olivier Hainque <hainque at adacore dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 16 May 2012 11:33:46 +0200
- Subject: Re: ping: Use "sed -n …" instead of "sed s/…/p -e d" in s-header-vars
- References: <46CAFB9F-3DE7-46A8-931F-17D490926100@adacore.com> <2AAC78A1-E8D5-41E7-AA9B-99A699D0C97D@adacore.com> <4FB34945.4010400@gnu.org>
On May 16, 2012, at 08:29 , Paolo Bonzini wrote:
> Ok.
Applied, Thanks Paolo :)
Opinion on http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00274.html ?
Thanks in advance,
Olivier