------- Comment #4 from dominiq at lps dot ens dot fr 2009-08-24 18:16 ------- If I am not mistaken, the dtime behavior change between 4.2 and 4.3.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41157
dominiq at lps dot ens dot fr Mon, 24 Aug 2009 11:16:26 -0700
------- Comment #4 from dominiq at lps dot ens dot fr 2009-08-24 18:16 ------- If I am not mistaken, the dtime behavior change between 4.2 and 4.3.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41157