Diff of /make_release [6566df] .. [7b73a1] Maximize Restore

  Switch to side-by-side view

--- a/make_release
+++ b/make_release
@@ -79,18 +79,20 @@
     fi
 }
 
-echo
-echo "*************************************************************************"
+
+echo
+echo "*********************************************************************"
 echo "                         Deleting .pyc files"
-echo "*************************************************************************"
+echo "*********************************************************************"
 echo
 
 find . -name '*.pyc' -exec rm {} +
 
-echo
-echo "*************************************************************************"
+
+echo
+echo "*********************************************************************"
 echo "                      Rebuilding compiler_bc.py"
-echo "*************************************************************************"
+echo "*********************************************************************"
 echo
 
 dir=pyke/krb_compiler/compiled_krb
@@ -107,6 +109,7 @@
                          'pyke/krb_compiler/compiler.krb')
 !
 mv pyke/krb_compiler/compiled_krb/compiler_bc.py pyke/krb_compiler
+
 
 echo
 echo "*************************************************************************"
@@ -234,12 +237,12 @@
 cp RELEASE_NOTES-1.txt dist
 
 echo
-echo "*************************************************************************"
+echo "*********************************************************************"
 echo "                  Tagging release $release_number"
-echo "*************************************************************************"
-echo
-
-hg tag "$release_number"
+echo "*********************************************************************"
+echo
+
+hg tag -f "$release_number"
 
 hg push                         # back to $RELEASE_1
 
@@ -266,9 +269,9 @@
 hg push
 
 echo
-echo "*************************************************************************"
+echo "*********************************************************************"
 echo "                Copying release files to sourceforge"
-echo "*************************************************************************"
+echo "*********************************************************************"
 echo
 
 cd "$start_repo"