1
0
Fork 0
Browse Source

Fix a timing issue

master
Gavin Howard 2 years ago
parent
commit
890df0432f
Signed by: gavin
GPG Key ID: C08038BDF280D33E
  1. 4
      test.c

4
test.c

@ -324,10 +324,10 @@ int main(int argc, char* argv[])
if (!CONSUMER(pid))
{
ts_time(&end);
waitpid(pid, &status, 0);
ts_time(&end);
if (WEXITSTATUS(status) != 0) err("child exited bad", 11);
diff = ts_diff(end, start);

Loading…
Cancel
Save