==nofib== boyer2: time to compile Checker follows...
-}
==nofib== boyer2: time to compile Checker follows...
-}
-banner_re = mkRegex "^==nofib==[ \t]+([A-Za-z0-9_]+):[ \t]+(size of|time to link|time to run|time to compile)[ \t]+([A-Za-z0-9_]+)(\\.o)?[ \t]+follows"
+banner_re = mkRegex "^==nofib==[ \t]+([A-Za-z0-9-_]+):[ \t]+(size of|time to link|time to run|time to compile)[ \t]+([A-Za-z0-9-_]+)(\\.o)?[ \t]+follows"
{-
This regexp for the output of "time" works on FreeBSD, other versions
{-
This regexp for the output of "time" works on FreeBSD, other versions
@@ -327,7+328,8 @@ parse_run_time prog (l:ls) res ex =