This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Remove superfluous /dev/null on grep line
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Jonathan Wakely <jwakely at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Jakub Jelinek <jakub at redhat dot com>, libstdc++ at gcc dot gnu dot org
- Date: Wed, 06 Apr 2016 17:08:15 +0200
- Subject: Re: [patch] Remove superfluous /dev/null on grep line
- Authentication-results: sourceware.org; auth=none
- References: <3554293 dot nIQqjdAT3l at polaris> <20160406090126 dot GU19207 at tucnak dot redhat dot com> <20160406091218 dot GM5814 at redhat dot com>
> OK, I have no objection to the original patch then.
Thanks, applied. FWIW I verified that the library still builds after the
change with an empty port_specific_symbol_files variable.
--
Eric Botcazou