[PPL-devel] [GIT] ppl/w3ppl(master): Updated.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 039a677d2c28a9ef9914423c7539013b25aaead1
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=039a677d2c28a9ef9914423c7539013b25aaead1

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Aug  2 16:57:52 2010 +0200

Updated.

---

 bin/ppl_release |   17 +++++++++++------
 1 files changed, 11 insertions(+), 6 deletions(-)

diff --git a/bin/ppl_release b/bin/ppl_release
index 28a653b..d47acb1 100755
--- a/bin/ppl_release
+++ b/bin/ppl_release
@@ -4,7 +4,7 @@
 #
 # File:    ppl_release
 # Authors: Roberto Bagnara, Jeffrey Law, Bernd Schmidt, Mark Mitchell
-# Date:    2008-11-04
+# Date:    2010-08-02
 #
 # Contents:
 #   Script to create a PPL release.
@@ -15,12 +15,16 @@
 # Notes
 ########################################################################
 
-# Here is an example Usage of this script, to create a PPL 0.8
-# release:
+# Here is an example Usage of this script, to create a PPL 0.11
+# release, first create the release branch with
 #
-#   ppl_release -f -r 0.8 sources
-#   ppl_release -f -r 0.8 tarfiles
-#   ppl_release -f -r 0.8 rpmfiles
+#   git push origin HEAD:refs/heads/ppl-0_11-branch
+#
+# Then:
+#
+#   ppl_release -f -r 0.11 sources
+#   ppl_release -f -r 0.11 tarfiles
+#   ppl_release -f -r 0.11 rpmfiles
 #
 # This script will automatically use the head of the release branch
 # to generate the release.
@@ -180,6 +184,7 @@ build_tarfiles() {
   mv -f ${SOURCE_DIRECTORY}/ppl-*.tar.gz ${WORKING_DIRECTORY}
   mv -f ${SOURCE_DIRECTORY}/ppl-*.tar.bz2 ${WORKING_DIRECTORY}
   mv -f ${SOURCE_DIRECTORY}/ppl-*.zip ${WORKING_DIRECTORY}
+  mv -f ${SOURCE_DIRECTORY}/ppl-*.lzma ${WORKING_DIRECTORY}
 }
 
 # Build the RPM packages for the release.