]> mj.ucw.cz Git - eval.git/history - box
The FIXME was wrong, start_time is available whenever box_pid is.
[eval.git] / box /
2008-08-22 Martin MaresThe FIXME was wrong, start_time is available whenever...
2008-08-22 Martin MaresInternal errors are reported properly.
2008-08-22 Martin MaresWrite all relevant information to the metafile.
2008-08-22 Martin Maresusage() should exit with code 2, too.
2008-08-22 Martin MaresWe do not care about ancient C libraries any more.
2008-08-22 Martin MaresDistinguish between die() and err().
2008-08-22 Martin MaresChanged formatting of time metas.
2008-08-22 Martin MaresGather timing statistics on unsuccessful exit, too.
2008-08-22 Martin MaresAdded basic support for writing meta-files.
2008-05-15 Martin MaresMoved sandbox to box/.