> 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
- [patch] Remove superfluous /dev/null on grep line Eric Botcazou
- Re: [patch] Remove superfluous /dev/null on grep line Jonathan Wakely
- Re: [patch] Remove superfluous /dev/null on grep ... Jakub Jelinek
- Re: [patch] Remove superfluous /dev/null on g... Jonathan Wakely
- Re: [patch] Remove superfluous /dev/null ... Jakub Jelinek
- Re: [patch] Remove superfluous /dev/null ... Eric Botcazou
