Kiyoshi KANAZAWA wrote:
Yes, error is produced. [...]
Good; I believe that the error adequately explains the problem, so I will mark this issue as resolved. If you encounter further problems with this, or have a better way to describe the problem in the error message, feel free to continue to reply on this issue. If you find other problems, please do not hesitate to report a new bug. Thanks, -- Jacob [oops: previously sent to wrong address at the tracker] _______________________________________________ Bug-dejagnu mailing list Bug-dejagnu@gnu.org https://lists.gnu.org/mailman/listinfo/bug-dejagnu
