1 files changed, 3 insertions, 1 deletions
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