tvl-depot/doc
Eelco Dolstra 9dbfe242e3 * Kill a build if it has gone for more than a certain number of
seconds without producing output on stdout or stderr (NIX-65).  This
  timeout can be specified using the `--max-silent-time' option or the
  `build-max-silent-time' configuration setting.  The default is
  infinity (0).

* Fix a tricky race condition: if we kill the build user before the
  child has done its setuid() to the build user uid, then it won't be
  killed, and we'll potentially lock up in pid.wait().  So also send a
  conventional kill to the child.
2006-12-08 15:44:00 +00:00
..
dev * Bumped the version number to 0.11. 2006-10-06 13:45:29 +00:00
manual * Kill a build if it has gone for more than a certain number of 2006-12-08 15:44:00 +00:00
Makefile.am * Generate man pages from the manual. 2003-08-12 13:54:42 +00:00