diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2018-07-16 11:52:12 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-07-26 21:34:10 +0200 |
| commit | 5711287dc01133195297cd2309aaca0191c01473 (patch) | |
| tree | 0faa2c7e924d4d9d4cb1b7b2eb3f8bbe5e962d54 /Makefile | |
| parent | 725a98ea6133fe7741ac1ada32d53f7978bfede0 (diff) | |
Update compilation for windows
Diffstat (limited to 'Makefile')
| -rwxr-xr-x | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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
|