diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:27:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:27:18 +0000 |
commit | b7d18c3adb01771feee1588bc9fd84a629fdefc8 (patch) | |
tree | 680d3b4f7f519e44c05e4af823dfac1b48500a9b /Makefile.devel | |
parent | f4abdf67e0996455b8ccbd1baa68bf64691d9c11 (diff) |
Cleanup
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/Makefile.devel b/Makefile.devel index bf763804..e73a60da 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -401,20 +401,16 @@ dist: cvsexport ## release: ## tag the CVS sources, and make a distribution. ## Then install the distribution in RELEASEDIR -## WARNING: RELEASEDIR is not cleaned, but files there -## with same names will be overwritten. +## WARNING: RELEASEDIR is not cleaned except to remove +## links, but files there with same names will be overwritten. ## release: distclean tag dist @echo "*************************************************" @echo " Making release (installing tarball distributions)." @echo "*************************************************" mkdir -p $(RELEASEDIR) -# clean source dir (remove link to this release) (cd $(DISTBUILDIR); rm -f $(NAME)) -# clean target dir (remove link for latest release) (cd $(RELEASEDIR); rm -rf $(RELEASENAME)) -# Seem to need R instead of r here now, -# Otherwise cp tries to make hard link instead of symlink?! cp -pfdR $(DISTBUILDIR)/* $(RELEASEDIR) (cd $(RELEASEDIR); rm -f $(LATESTNAME); ln -s $(RELEASENAME) $(LATESTNAME)) (cd $(RELEASEDIR); ln -sf $(RELEASENAMETGZ) $(LATESTNAME).tgz) |