[PATCH] Report several files at once in _checkunknown

[Jose E. Marchesi]

Hi.

    > Note that I used 'print' to emit the "? filename" lines, which may not
    > be correct.
    
    Yep, that's definitely not correct. Not sure what to do here - we've
    been trying to kill this entire function for ages.

Any new about this? What is the proper way to emit lines to the terminal
then?

-- 
Jose E. Marchesi    jemarch at gnu.org
GNU Project         http://www.gnu.org