https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69435
--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to David Malcolm from comment #4) > Followup was here: > http://lists.gnu.org/archive/html/dejagnu/2016-02/msg00006.html which is: http://git.savannah.gnu.org/gitweb/?p=dejagnu.git;a=commitdiff;h=e3d0bafb18ebf56cad1822dafc4332643903b084 and would appear to be present in DejaGnu 1.6 onwards.
