[patch] Remove superfluous /dev/null on grep line

[Eric Botcazou]

> 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