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

[wxWidgets.git] / wxPython / demo / b

#!/bin/sh
cd ..
. b $*
cd -