Fix for mkdir on windows
This should at least make it compile, but I have no way of testing it!
commita83da16007b56c3e3e5804bf7dea5a7792293b29
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 5 Jan 2018, 20:50 (9 years ago)
parent5eb8f83
rts/idris_stdfgn.c+4
@@ -97,7 +97,11 @@ char* idris_nextDirEntry(void* h) {
9797}
9898
9999int idris_mkdir(char* dname) {
100+#if defined(WIN32) || defined(__WIN32) || defined(__WIN32__)
101+ return mkdir(dname);
102+#else
100103 return mkdir(dname, S_IRWXU | S_IRGRP | S_IROTH);
104+#endif
101105}
102106
103107int idris_dirError(void *dptr) {