diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-30 18:05:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-30 18:05:29 +0000 |
| commit | cbecb7d3ef14ffc66310a3c54d46a9b884f370f6 (patch) | |
| tree | 4609b9c831090b91bc418eb8e643187775e50b3d /Makefile.devel | |
| parent | a719f0d622b32ad1d1e0471afa5dcf0cbb6f5c65 (diff) | |
Removed distinstall, doesn't work for temporary server.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel index fd73d787..c2baf35f 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -350,7 +350,7 @@ release: distclean tag dist develdist rpm: rm -rf $(RPMTOPDIR) mkdir -p $(RPMTOPDIR) $(RPMTOPDIR)/BUILD $(RPMTOPDIR)/SOURCES $(RPMTOPDIR)/SRPMS $(RPMTOPDIR)/RPMS $(RPMTOPDIR)/RPMS/noarch - echo "topdir: $(RPMTOPDIR)" > $(RPMRC) +# echo "_rpmdir: $(RPMTOPDIR)" > $(RPMRC) cp -p etc/ProofGeneral.patch $(RPMTOPDIR)/SOURCES cp -p $(DISTBUILDIR)/$(RELEASENAMETARGZ) $(RPMTOPDIR)/SOURCES $(RPM) -ba etc/ProofGeneral.spec @@ -377,7 +377,10 @@ releaseclean: ## releaseall: ## Do everything! ## -releaseall: release rpmrelease distinstall releaseclean golive +## For now, don't do distinstall any more: this only works +## for the DCS Sun machines. +## +releaseall: release rpmrelease releaseclean golive ############################################################ ## |