| changeset 1015 | d32e4453b48c |
| parent 483 | 3f0ddf255524 |
| child 941 | 6660ac776acf |
| 1:3bef95956be2 | 3:546b6a08f780 |
|---|---|
38 #define MY_LOCALE LOCALE_NEUTRAL |
38 #define MY_LOCALE LOCALE_NEUTRAL |
39 #endif |
39 #endif |
40 #else |
40 #else |
41 #include <unistd.h> |
41 #include <unistd.h> |
42 #include <ctime> |
42 #include <ctime> |
43 #ifndef WIN32 |
|
43 #include <sys/times.h> |
44 #include <sys/times.h> |
45 #endif |
|
44 #include <sys/time.h> |
46 #include <sys/time.h> |
45 #endif |
47 #endif |
46 |
48 |
47 #include <cmath> |
49 #include <cmath> |
48 #include <sstream> |
50 #include <sstream> |