#include "shell/Shell.h" #include #ifdef WIN32 #include #else #include #endif void Shell_mainLoop() { } void Shell_redisplay() { } double Shell_getCurrentTime() { #ifdef WIN32 static LARGE_INTEGER frequency = {{0, 0}}; LARGE_INTEGER currentTime; if (frequency.QuadPart == 0) { QueryPerformanceFrequency(&frequency); } QueryPerformanceCounter(¤tTime); return ((double) currentTime.QuadPart / frequency.QuadPart); #else struct timeval currentTime; gettimeofday(¤tTime, NULL); return currentTime.tv_sec + currentTime.tv_usec * 0.000001; #endif } const char * Shell_getResourcePath() { return ""; }