diff options
| author | herbelin | 2004-07-24 11:30:18 +0000 |
|---|---|---|
| committer | herbelin | 2004-07-24 11:30:18 +0000 |
| commit | 275a154a68ebc516e782edbb4006c935ff4aa8a0 (patch) | |
| tree | 434d3231670c8fb359b24e001ee57ca6fc97e04a | |
| parent | 6539b8f47830a8a723faf50dec079f36707d5801 (diff) | |
Plus de pa_ifdef dans CAMLP4EXTENDFLAGS
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5975 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.dep | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.dep b/Makefile.dep index 30690facfd..542ccbcd9b 100644 --- a/Makefile.dep +++ b/Makefile.dep @@ -12,4 +12,4 @@ include Makefile include .depend.camlp4 .ml4.ml: - $(CAMLP4O) $(CAMLP4EXTENDFLAGS) pr_o.cmo `$(CAMLP4DEPS) $<` -impl $< > $@ || rm -f $@ + $(CAMLP4O) $(CAMLP4EXTENDFLAGS) pa_ifdef.cmo pr_o.cmo `$(CAMLP4DEPS) $<` -impl $< > $@ || rm -f $@ |