49 |
#endif |
#endif |
50 |
#ifdef __MINGW32__ |
#ifdef __MINGW32__ |
51 |
#include <sys/timeb.h> |
#include <sys/timeb.h> |
52 |
|
int usleep ( unsigned int microseconds ); |
53 |
#endif |
#endif |
54 |
|
|
55 |
#ifdef BSD |
#ifdef BSD |
191 |
make_function("SLEEP", Lsleep); |
make_function("SLEEP", Lsleep); |
192 |
make_function("GET-INTERNAL-RUN-TIME", Lget_internal_run_time); |
make_function("GET-INTERNAL-RUN-TIME", Lget_internal_run_time); |
193 |
} |
} |
194 |
|
|
195 |
|
#ifdef __MINGW32__ |
196 |
|
#include <windows.h> |
197 |
|
int usleep ( unsigned int microseconds ) |
198 |
|
{ |
199 |
|
unsigned int milliseconds = microseconds / 1000; |
200 |
|
return ( SleepEx ( milliseconds, TRUE ) ); |
201 |
|
} |
202 |
|
#endif |