git.iko.soy/Idris-dev
on master help sign in
remove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.
8a0beabstepcut
rts/idris_rts.c−1
compare with master
unifiedsplit
@@ -1,7 +1,6 @@
1#include <stdlib.h>
1#include <stdlib.h>
2#include <stdio.h>
2#include <stdio.h>
3#include <string.h>
3#include <string.h>
4−#include <unistd.h>
5#include <stdarg.h>
4#include <stdarg.h>
6#include <assert.h>
5#include <assert.h>
7#ifdef HAS_PTHREAD
6#ifdef HAS_PTHREAD
rts/idris_rts.h−1
@@ -4,7 +4,6 @@
4#include <stdlib.h>
4#include <stdlib.h>
5#include <stdio.h>
5#include <stdio.h>
6#include <string.h>
6#include <string.h>
7−#include <unistd.h>
8#include <stdarg.h>
7#include <stdarg.h>
9#ifdef HAS_PTHREAD
8#ifdef HAS_PTHREAD
10#include <pthread.h>
9#include <pthread.h>