diff options
Diffstat (limited to 'Makefile.dep')
| -rw-r--r-- | Makefile.dep | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.dep b/Makefile.dep index 18f4ae29f9..2b29050339 100644 --- a/Makefile.dep +++ b/Makefile.dep @@ -2,7 +2,7 @@ # This Makefile is designed to make the .ml files corresponding to .ml4 files include Makefile -include .depend.camlp4.2 +include .depend.camlp4 .ml4.ml: $(CAMLP4O) $(CAMLP4EXTENDFLAGS) pr_o.cmo `$(CAMLP4DEPS) $<` -impl $< > $@ || rm -f $@ |