From b74e66dc5fd78af56e768486fa8e534fd7c07c21 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 30 Apr 2004 13:17:29 +0000
Subject: Dépendance en $(RPMTOPDIR)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'distrib')

diff --git a/distrib/Makefile b/distrib/Makefile
index 2ee5b8dd3..18ec72110 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -222,7 +222,7 @@ $(RPMTOPDIR):
 	@mkdir -p $(RPMTMPPATHDIR)
 	@mkdir -p $(RPMTOPDIR)/RPMS/$(ARCH)
 
-RH/rpmrc: config.distrib
+RH/rpmrc: config.distrib $(RPMTOPDIR)
 	(if [ "$(RPMVERSION)" != "2" ];\
 	then\
 	echo %_topdir $(RPMTOPDIR) > RH/rpmmacros;\
-- 
cgit v1.2.3