summaryrefslogtreecommitdiff
path: root/lex/Makefile
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2021-11-10 16:05:39 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-01-18 09:45:22 +0100
commitd204fc866d80caf5a48e37cc58d02289f9648400 (patch)
tree1a66080bf189d41a662a198fe7931137863558b0 /lex/Makefile
parentd5b61618cabf2e7fdfa857998b9e3386b0c2d96b (diff)
downloadocaml-d204fc866d80caf5a48e37cc58d02289f9648400.tar.gz
Add the distclean target to lex/Makefile
Diffstat (limited to 'lex/Makefile')
-rw-r--r--lex/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/lex/Makefile b/lex/Makefile
index 210d4ccb0b..815873f91d 100644
--- a/lex/Makefile
+++ b/lex/Makefile
@@ -61,6 +61,9 @@ clean::
clean::
rm -f parser.ml parser.mli parser.output
+.PHONY: distclean
+distclean: clean
+
beforedepend:: parser.ml parser.mli
clean::