memcpy neede by idris_rts.h even without pthread enabled
commit04abcae325dae94ebcb7a1697aaa4bcc023b6e1e
authorJonas Claeson <jonas.cl@protonmail.com>
dateSat 16 Mar 2019, 18:28 (8 years ago)
parentf95d230
rts/idris_rts.h+1−1
@@ -4,8 +4,8 @@
44#include <assert.h>
55#include <stdlib.h>
66#include <stdio.h>
7−#ifdef HAS_PTHREAD
87#include <string.h>
8+#ifdef HAS_PTHREAD
99#include <stdarg.h>
1010#include <pthread.h>
1111#endif