From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Thu, 14 Mar 2019 13:49:03 +0000 (+0100)
Subject: :art: dirent header
X-Git-Tag: nightly~2704
X-Git-Url: http://10.11.0.4:5575/?a=commitdiff_plain;h=9dc8f0c4885f7befd833b3c5c499c5aa876fc6cb;p=gwion.git

:art: dirent header
---

diff --git a/src/plug.c b/src/plug.c
index 1f0b9184..0df04f8c 100644
--- 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 3527e5ac..c37f2d12 160000
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 3527e5acf54d92754941faa932048cee7cd159a5
+Subproject commit c37f2d12020a42326627d19d687a807d17f2e616