Missing clean items from GPR#1063

master
David Allsopp 2018-12-06 18:14:38 +00:00
parent d96f1b31dd
commit a875e64571
2 changed files with 3 additions and 1 deletions

View File

@ -1274,6 +1274,7 @@ partialclean::
rm -f driver/compdynlink.mlopt
rm -f driver/compdynlink.mli
rm -f driver/compdynlink_platform_intf.ml
rm -f driver/compdynlink_platform_intf.mli
rm -f driver/compdynlink_common.ml
rm -f driver/compdynlink_common.mli
rm -f driver/compdynlink_types.mli

View File

@ -164,6 +164,7 @@ partialclean:
rm -f extract_crc *.cm[ioaxt] *.cmti *.cmxa
clean: partialclean
rm -f *.$(A) *.$(O) *.so *.dll dynlink.mlopt
rm -f *.$(A) *.$(O) *.so *.dll dynlink.mlopt \
dynlink_platform_intf.mli
depend: