changeset 983 | 8b2d4e5d96e4 |
parent 877 | 141f9c0db4a3 |
parent 913 | 64260c0f58eb |
child 927 | d303bfa8b1ed |
2:6c955a1e909b | 4:9bd3c1e3b6e5 |
---|---|
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> |