[MINOR: added a comment with version and date to generated XML files. bisect@x9c.fr**20091018080715] { hunk ./src/reportHTML.ml 114 - let now = Unix.localtime (Unix.time ()) in - Printf.sprintf - "Generated by Bisect %s on %d-%02d-%02d %02d:%02d:%02d" + let time = current_time () in + Printf.sprintf "Generated by Bisect %s on %s" hunk ./src/reportHTML.ml 118 - (1900 + now.Unix.tm_year) - (succ now.Unix.tm_mon) - now.Unix.tm_mday - now.Unix.tm_hour - now.Unix.tm_min - now.Unix.tm_sec + time hunk ./src/reportUtils.ml 99 +let current_time () = + let now = Unix.localtime (Unix.time ()) in + Printf.sprintf "%d-%02d-%02d %02d:%02d:%02d" + (1900 + now.Unix.tm_year) + (succ now.Unix.tm_mon) + now.Unix.tm_mday + now.Unix.tm_hour + now.Unix.tm_min + now.Unix.tm_sec + hunk ./src/reportUtils.mli 72 +val current_time : unit -> string +(** Returns the current time as a string, using the following format: + ["2001-01-01 01:01:01"]. *) + hunk ./src/reportXML.ml 39 -let xml_header = "" +let xml_header = "\n" hunk ./src/reportXML.ml 43 - method header = xml_header ^ "\n\n" + method header = + let time_comment = + Printf.sprintf "\n" + ReportUtils.version + ReportUtils.url + (ReportUtils.current_time ()) in + xml_header ^ time_comment ^ "\n" hunk ./tests/report/Makefile 22 - @$(REPORT) -xml result.xml *.out + @$(REPORT) -xml - *.out | grep -v '^ result.xml }