diff options
author | paltherr <paltherr@epfl.ch> | 2004-02-19 11:57:46 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-02-19 11:57:46 +0000 |
commit | f84a1e2955e99c8c7c7e1d6ef3464052a8a58179 (patch) | |
tree | 066e4ba269dd34a012853b0c096e809425e4a182 | |
parent | d5f12adbfd5c3f539553ea110f71e8c8110b8854 (diff) | |
download | scala-f84a1e2955e99c8c7c7e1d6ef3464052a8a58179.tar.gz scala-f84a1e2955e99c8c7c7e1d6ef3464052a8a58179.tar.bz2 scala-f84a1e2955e99c8c7c7e1d6ef3464052a8a58179.zip |
- Added cleaning and building in distrib-official
-rw-r--r-- | Makefile.distrib | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 0b2a73138c..003cd0d013 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -280,6 +280,13 @@ distrib-build-ia : ia-build distrib-build-addons : install-addons distrib-official : version-update + @$(make) -C doc/tutorial distclean + @$(make) -C doc/reference distclean + @$(make) distclean + @$(make) all + @$(make) -C doc/reference all + @$(make) -C doc/tutorial all + @$(make) boottest @$(make) distrib INSTALL_VERSION='$$(PROJECT_VERSION)' # $(CVS) tag "release-$(subst .,_,$(PROJECT_VERSION))" $(PROJECT_ROOT) @$(make) version-increment |