Make mkrel work on non-master branches
authorTom Yu <tlyu@mit.edu>
Tue, 15 May 2012 19:15:07 +0000 (15:15 -0400)
committerTom Yu <tlyu@mit.edu>
Tue, 15 May 2012 19:15:07 +0000 (15:15 -0400)
commit4fc9c72e5d30c94399baf7069a0d0db25e940a68
tree7c5febda5cd737f3099f50529ed4945d1325e176
parent6d204bc466e2038bacf3e2e3a4b4f5bdc56e6b5e
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.
src/util/mkrel