Commit f71fa2f4028db82bf512f0fc4bff0557748728e0

Sam Lantinga 2015-06-19T23:40:23

Android has clock_gettime() - thanks Michael Labbe!