:art: dirent header

diff --git a/src/plug.c b/src/plug.c
index 1f0b9184970b6b9d95403daa3d85fe5f9c547e37..0df04f8ca79bfe7c2fcd8a039194f841d4b3b32a 100644 (file)
--- a/src/plug.c
+++ b/src/plug.c
@@ -1,7 +1,11 @@
 #include <stdlib.h>
 #include <string.h>
 #include <dlfcn.h>
+#ifdef BUILD_ON_WINDOWS
+#include <win_dirent.h>
+#else
 #include <dirent.h>
+#endif
 #include "gwion_util.h"
 #include "gwion_ast.h"
 #include "oo.h"

diff --git a/util b/util
index 3527e5acf54d92754941faa932048cee7cd159a5..c37f2d12020a42326627d19d687a807d17f2e616 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 3527e5acf54d92754941faa932048cee7cd159a5
+Subproject commit c37f2d12020a42326627d19d687a807d17f2e616