diff options
Diffstat (limited to 'lang/micropython/files/patch-modtime.c')
| -rw-r--r-- | lang/micropython/files/patch-modtime.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/micropython/files/patch-modtime.c b/lang/micropython/files/patch-modtime.c new file mode 100644 index 000000000000..0a8fd1312463 --- /dev/null +++ b/lang/micropython/files/patch-modtime.c @@ -0,0 +1,11 @@ +--- modtime.c.orig 2014-06-05 20:07:38.000000000 +0200 ++++ modtime.c 2014-06-06 07:58:58.000000000 +0200 +@@ -59,6 +59,8 @@ + #define CLOCK_DIV 1000.0 + #elif defined(MP_CLOCKS_PER_SEC) && (MP_CLOCKS_PER_SEC == 1000) // WIN32 + #define CLOCK_DIV 1.0 ++#elif defined(__FreeBSD__) && (MP_CLOCKS_PER_SEC == 128) ++#define CLOCK_DIV (1.0 / 128.0) + #else + #error Unsupported clock() implementation + #endif |