on master help sign in
memcpy neede by idris_rts.h even without pthread enabled
04abcaeJonas Claeson
rts/idris_rts.h+1−1
@@ -4,8 +4,8 @@
4#include <assert.h>
4#include <assert.h>
5#include <stdlib.h>
5#include <stdlib.h>
6#include <stdio.h>
6#include <stdio.h>
7−#ifdef HAS_PTHREAD
8#include <string.h>
7#include <string.h>
8+#ifdef HAS_PTHREAD
9#include <stdarg.h>
9#include <stdarg.h>
10#include <pthread.h>
10#include <pthread.h>
11#endif
11#endif