git.iko.soy/Idris-dev
on master help sign in
Fix for mkdir on windows
a83da16Edwin Brady
rts/idris_stdfgn.c+4
compare with master
unifiedsplit
@@ -97,7 +97,11 @@ char* idris_nextDirEntry(void* h) {
97}
97}
98
98
99int idris_mkdir(char* dname) {
99int idris_mkdir(char* dname) {
100+#if defined(WIN32) || defined(__WIN32) || defined(__WIN32__)
101+ return mkdir(dname);
102+#else
100 return mkdir(dname, S_IRWXU | S_IRGRP | S_IROTH);
103 return mkdir(dname, S_IRWXU | S_IRGRP | S_IROTH);
104+#endif
101}
105}
102
106
103int idris_dirError(void *dptr) {
107int idris_dirError(void *dptr) {