Make mkrel work on non-master branches

Appending "--" to the git checkout arguments appears to prevent it
from automatically creating a local branch from the remote.  Also
correct the default git URL and clean up a spurious find warning.

diff --git a/src/util/mkrel b/src/util/mkrel
index 0f69effff4f8bafcc86a29ac7ba45f0f00d22fe1..90c135afe3caae6dd46c7eaf3ac60bc6ea245266 100755 (executable)
--- a/src/util/mkrel
+++ b/src/util/mkrel
@@ -1,6 +1,6 @@
 #!/bin/sh
 set -e
-repository=git.mit.edu:/git/krb5
+repository=git.mit.edu:/git/krb5.git
 dodoc=t
 dosrc=t
 checkout=t
@@ -97,7 +97,7 @@ echo "major=$relmajor minor=$relminor patch=$relpatch"
 if test $checkout = t; then
        echo "Checking out krb5 with tag $reltag into directory $reldir..."
        git clone -q -n $repository $reldir
-       (cd $reldir && git checkout -q $reltag --)
+       (cd $reldir && git checkout -q $reltag)
 fi
 
 #
@@ -179,8 +179,9 @@ echo "Nuking unneeded files..."
 find $reldir \( -name TODO -o -name todo -o -name .cvsignore \
        -o -name .gitignore -o -name BADSYMS -o -name .Sanitize \
        -o -name .rconf \) -print | xargs rm -f || true
-find $reldir -type d \( -name autom4te.cache -o -name .git \
+find $reldir -type d \( -name autom4te.cache \
        -o -name \$ac_config_fragdir \) -exec rm -rf {} \; || true
+rm -rf $reldir/.git || true
 
 if test $dodoc = t; then
        echo "Building doc..."