diff --git a/Makefile b/Makefile index 2c658d88938ca227ce67c967e53c1d1f19598eb5..c7cadb6f68cc48941bd6b9d2795529dd64258907 100644 --- a/Makefile +++ b/Makefile @@ -101,6 +101,9 @@ alc: $(ALC_OBJS) alc$(SUFFIX) .PHONY: clean clean: find -regextype posix-egrep -regex ".*((\.(cmi|cmo|cma|cmx|o|cmxa))|~)$$" -delete + $(RM) -f .depend + $(RM) -f $(PROGS) + $(RM) -f *.a .PHONY: depend