summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--otherlibs/labltk/camltk/Makefile1
-rw-r--r--otherlibs/labltk/labltk/Makefile1
2 files changed, 2 insertions, 0 deletions
diff --git a/otherlibs/labltk/camltk/Makefile b/otherlibs/labltk/camltk/Makefile
index afa6f3af2..b00ed91e2 100644
--- a/otherlibs/labltk/camltk/Makefile
+++ b/otherlibs/labltk/camltk/Makefile
@@ -19,6 +19,7 @@ camltkobjsx: $(CAMLTKOBJSX)
clean:
$(MAKE) -f Makefile.gen clean
+ -rm -f .depend
install: $(CAMLTKOBJS)
if test -d $(INSTALLDIR); then : ; else mkdir $(INSTALLDIR); fi
diff --git a/otherlibs/labltk/labltk/Makefile b/otherlibs/labltk/labltk/Makefile
index 53276dd16..542d350bd 100644
--- a/otherlibs/labltk/labltk/Makefile
+++ b/otherlibs/labltk/labltk/Makefile
@@ -27,6 +27,7 @@ installopt: $(LABLTKOBJSX)
clean:
$(MAKE) -f Makefile.gen clean
+ -rm -f .depend
.SUFFIXES :
.SUFFIXES : .mli .ml .cmi .cmx .cmo .mlp