| changeset 955 | 7f6eeffe3cd1 |
| parent 877 | 141f9c0db4a3 |
| parent 940 | 64260c0f58eb |
| child 979 | 43a91b33f374 |
| 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> |