You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 lines
390 B
12 lines
390 B
--- a/Makefile.rules 2023-01-20 22:52:47.530898157 +0100
|
|
+++ b/Makefile.rules 2023-01-20 22:53:09.370565670 +0100
|
|
@@ -210,7 +210,7 @@
|
|
# Set NODEP to "@true" in order to disable "depend".
|
|
|
|
depend: $(DEP_FILES)
|
|
- $(NODEP) $(OCAMLDEP) *.ml *.mli >$@ || { rm -f $@; exit 1; }
|
|
+ $(NODEP) $(OCAMLDEP) -ml-synonym .mll *.ml *.mli >$@ || { rm -f $@; exit 1; }
|
|
|
|
.PHONY: clean
|
|
clean:: genclean
|