use gettimeofday() instead of clock_gettime() as the latter lives in librt which...

[wxWidgets.git] / wxPython / wx / lib / analogclock / lib_setup / __init__.py