diff options
author | 2004-04-30 13:17:29 +0000 | |
---|---|---|
committer | 2004-04-30 13:17:29 +0000 | |
commit | b74e66dc5fd78af56e768486fa8e534fd7c07c21 (patch) | |
tree | 849d7718719610558f5ad141c4ffcadd9f30138f /distrib | |
parent | b71ed5d423d7e95217fd8165827673cbb49d279a (diff) |
Dépendance en $(RPMTOPDIR)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5715 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib')
-rw-r--r-- | distrib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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;\ |