diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-11-10 17:04:38 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-01-18 09:45:22 +0100 |
| commit | 20dcda382a8332b93c62e376c452bf5d4481d39f (patch) | |
| tree | 6c8401692c94cba88418def609d0820b0912c983 /otherlibs/Makefile | |
| parent | f307498296e520c9da08bf8cd7c860954f8e86af (diff) | |
| download | ocaml-20dcda382a8332b93c62e376c452bf5d4481d39f.tar.gz | |
Add the distclean target to the makefiles under otherlibs
Diffstat (limited to 'otherlibs/Makefile')
| -rw-r--r-- | otherlibs/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 0da6669b73..bd7b883614 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -30,8 +30,9 @@ define dispatch $(eval $(call dispatch_,$1)) endef -.PHONY: all allopt clean partialclean +.PHONY: all allopt clean distclean partialclean $(call dispatch,all) $(call dispatch,allopt) $(call dispatch,clean) +$(call dispatch,distclean) $(call dispatch,partialclean) |