diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-01 18:01:56 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-24 16:02:28 +0200 |
| commit | 11e9ea31ea1ab8927335fdfb22ba5509afc4b0b3 (patch) | |
| tree | c42ebf4464c793c39065b2dac1df1de2a61cfd6f /gnu.ocaml.prog.mk | |
| parent | a79135e5f636a7bad84c665af13a00f8c5892cd1 (diff) | |
Added a dist-clean target
Diffstat (limited to 'gnu.ocaml.prog.mk')
| -rw-r--r-- | gnu.ocaml.prog.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu.ocaml.prog.mk b/gnu.ocaml.prog.mk index d9dacac..668dee1 100644 --- a/gnu.ocaml.prog.mk +++ b/gnu.ocaml.prog.mk @@ -68,6 +68,8 @@ clean: dep: printf "SRC+=\t%s\n" `ocamldep -sort *.ml` > $(DEPFILE) printf "\n%s\n" "`ocamldep *.mli *.ml`" >> $(DEPFILE) +dist-clean: clean + $(RM) $(DEPFILE) .DEFAULT_GOAL:= $(PROG) .SUFFIXES: |