summaryrefslogtreecommitdiff
path: root/yacc
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2021-11-10 15:16:30 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-01-18 09:45:22 +0100
commit8043e9d96c2cddaf5e89ec19eacb5f942a479304 (patch)
treea41da5db0614fcf49e1f139cda0feac4782fdc10 /yacc
parentc9bc31b2500b190c0b687375da4e6685a8cc8642 (diff)
downloadocaml-8043e9d96c2cddaf5e89ec19eacb5f942a479304.tar.gz
Add the distclean target to yacc/Makefile
Diffstat (limited to 'yacc')
-rw-r--r--yacc/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/yacc/Makefile b/yacc/Makefile
index 6ce13c1505..d61f1a05c1 100644
--- a/yacc/Makefile
+++ b/yacc/Makefile
@@ -45,6 +45,10 @@ clean:
rm -f ocamlyacc ocamlyacc.exe wstr.o wstr.obj \
$(ocamlyacc_SOURCES:.c=.o) $(ocamlyacc_SOURCES:.c=.obj)
+.PHONY: distclean
+distclean: clean
+
+.PHONY: depend
depend:
closure.$(O): defs.h