diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-03 14:20:00 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-03 14:20:00 +0000 |
| commit | 2e2a30b495b1ef8052259093f9422f57903b1717 (patch) | |
| tree | c281dbb61d65a7d0fe81c6f5356888ad3b17a560 /src/OS/Makefile-Base | |
| parent | f656d13573661ac5a0d4fc49b932a3c961ee3eca (diff) | |
(1) Don't ignore timeouts while writing to a pipe! (As opposed to
timeout of the pipe command process.)
(2) Add timeout_defer option to turn timeouts into defers (default has
always been to fail).
(3) An upgrade to my desktop OS and to SSL has caused the output from
some of the test scripts to change.
Diffstat (limited to 'src/OS/Makefile-Base')
0 files changed, 0 insertions, 0 deletions