Merge branch 'gfio' into gfio-int
[fio.git] / thread_options.h
index 68056dfb3475f18a82b459576b44d95408882cc2..60a1b691bd51122429887950085458f6415b3bfc 100644 (file)
@@ -5,6 +5,7 @@
 #include "os/os.h"
 #include "stat.h"
 #include "gettime.h"
+#include "lib/ieee754.h"
 
 /*
  * What type of allocation to use for io buffers