cd53fe36c5
Crazy Eddie's GUI System is a free library providing windowing and widgets for graphics APIs / engines where such functionality is not natively available, or severely lacking. The library is object orientated, written in C++, and targeted at games developers who should be spending their time creating great games, not building GUI sub-systems!
13 lines
725 B
Plaintext
13 lines
725 B
Plaintext
$OpenBSD: patch-cegui_src_SimpleTimer_cpp,v 1.1.1.1 2014/08/19 22:35:01 pascal Exp $
|
|
--- cegui/src/SimpleTimer.cpp.orig.port Mon Jul 7 09:06:18 2014
|
|
+++ cegui/src/SimpleTimer.cpp Sat Jul 12 22:00:56 2014
|
|
@@ -33,7 +33,7 @@ double CEGUI::SimpleTimer::currentTime()
|
|
return timeGetTime() / 1000.0;
|
|
}
|
|
|
|
-#elif defined(__linux__) || defined(__APPLE__) || defined(__FreeBSD__) || defined(__NetBSD__) || defined(__HAIKU__) || defined(__CYGWIN__) || defined(__MINGW32__)
|
|
+#elif defined(__linux__) || defined(__APPLE__) || defined(__FreeBSD__) || defined(__NetBSD__) || defined(__OpenBSD__) || defined(__HAIKU__) || defined(__CYGWIN__) || defined(__MINGW32__)
|
|
#include <sys/time.h>
|
|
double CEGUI::SimpleTimer::currentTime()
|
|
{
|