[Patch] Fix libstdc++/9533, 2nd

[Paolo Carlini]

Hi again,

this version takes into account Nathan's comments and adds the
new non-interactive testcase.

Tested x86-linux, as usual.

Paolo.

//////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_9533
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030303/eb8f88ff/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_9533
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030303/eb8f88ff/attachment-0001.ksh>