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 93ca6dfa..8569dfbf 100644 --- a/Makefile.dep +++ b/Makefile.dep @@ -12,4 +12,4 @@ include Makefile include .depend.camlp4 .ml4.ml: - $(CAMLP4O) $(CAMLP4EXTENDFLAGS) pa_ifdef.cmo pr_o.cmo `$(CAMLP4DEPS) $<` $(CAMLP4COMPAT) -impl $< > $@ || rm -f $@ + $(CAMLP4O) $(CAMLP4EXTENSIONS) pr_o.cmo `$(CAMLP4DEPS) $<` $(CAMLP4COMPAT) -impl $< > $@ || rm -f $@ |