From 275a154a68ebc516e782edbb4006c935ff4aa8a0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 24 Jul 2004 11:30:18 +0000
Subject: Plus de pa_ifdef dans CAMLP4EXTENDFLAGS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5975 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.dep | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 $@
-- 
cgit v1.2.3