diff options
| author | erdgeist <> | 2007-10-13 17:40:37 +0000 |
|---|---|---|
| committer | erdgeist <> | 2007-10-13 17:40:37 +0000 |
| commit | 6c1adb8fc8c135cf0c3017e5ca6454747b0153e4 (patch) | |
| tree | 7e02a9b7ddb3b37ab443ebf65ddd879d59b75bff /Makefile | |
| parent | 4c15dc7a70b189a7ae2cc66196c42f26881eb85e (diff) | |
since gettimeofday is rather expansive, we do only fetch time once in a 5 second period, when we are delivered a SIGALRM.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions