diff options
author | paltherr <paltherr@epfl.ch> | 2004-01-15 13:10:51 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-01-15 13:10:51 +0000 |
commit | 2d4a2223b17ae7140395939a78837f0d9bfe66de (patch) | |
tree | cbb49ab711954294e0698c91f1e76a3f5fcde604 | |
parent | cbecd2ab52a11cc56d649ee6efbd0f7ce6abba92 (diff) | |
download | scala-2d4a2223b17ae7140395939a78837f0d9bfe66de.tar.gz scala-2d4a2223b17ae7140395939a78837f0d9bfe66de.tar.bz2 scala-2d4a2223b17ae7140395939a78837f0d9bfe66de.zip |
- Added tagging of official distribs
-rw-r--r-- | Makefile.distrib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index a5d1948fa6..e1c0c3e29f 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -257,6 +257,7 @@ distrib-build-ia : ia-build distrib-official : version-update @$(make) distrib INSTALL_VERSION='$$(PROJECT_VERSION)' + $(CVS) tag "release-$(subst .,_,$(PROJECT_VERSION))" $(PROJECT_ROOT) @$(make) version-increment .PHONY : distrib |