From 0ec6e2f0720b710027c8951c5a696e4dcc5776f2 Mon Sep 17 00:00:00 2001
From: Justin Maggard <jmaggard10@gmail.com>
Date: Wed, 5 Feb 2014 18:15:17 -0800
Subject: [PATCH] Extend support for kernels without high-res timers to 64-bit
 platforms.

---
 src/misc.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/misc.c b/src/misc.c
index b6ceef75..bdc1da40 100644
--- a/src/misc.c
+++ b/src/misc.c
@@ -751,6 +751,10 @@ murmur_hash64(const void *key, int len, uint32_t seed)
   return h;
 }
 
+#else
+# error Platform not supported
+#endif
+
 int
 clock_gettime_with_res(clockid_t clock_id, struct timespec *tp, struct timespec *res)
 {
@@ -801,7 +805,3 @@ timespec_cmp(struct timespec time1, struct timespec time2)
   else
     return 0;
 }
-
-#else
-# error Platform not supported
-#endif