Android has clock_gettime() - thanks Michael Labbe!
diff --git a/include/SDL_config_android.h b/include/SDL_config_android.h
index 1d2b1ae..8d5f1e5 100644
--- a/include/SDL_config_android.h
+++ b/include/SDL_config_android.h
@@ -104,6 +104,7 @@
#define HAVE_SETJMP 1
#define HAVE_NANOSLEEP 1
#define HAVE_SYSCONF 1
+#define HAVE_CLOCK_GETTIME 1
#define SIZEOF_VOIDP 4