use time_monotonic() instead of gettimeofday() for time difference calculations

2009-08-31 15:25:03 +02:00
parent 3d5818ec38
commit de5784452b
9 changed files with 24 additions and 37 deletions
@@ -25,8 +25,6 @@

 typedef struct scheduler_t scheduler_t;

-#include <sys/time.h>
-
 #include <library.h>
 #include <processing/jobs/job.h>