From 5711287dc01133195297cd2309aaca0191c01473 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 16 Jul 2018 11:52:12 +0200
Subject: Update compilation for windows

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4adbf07..403cf41 100755
--- a/Makefile
+++ b/Makefile
@@ -59,6 +59,8 @@ clean:
 	rm -f licht
 	rm -f *.native
 	rm -f *.byte
-	make -C stub clean
+	$(MAKE) -C stub LIB=$(LIB) clean
+
+
 	$(OCB) -clean
 
-- 
cgit v1.2.3