diff options
| author | Pavel Roskin <proski@gnu.org> | 2005-11-29 09:20:49 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-29 10:55:12 +0300 |
| commit | 2c4ed386e8861e730037abe4f4d9e032c5c46242 (patch) | |
| tree | 116ec987c167ce1489acbe8c1b6161e9e19344f1 /git-clone.sh | |
| parent | 9ef2b3cbf62d15aa0312bde349347873d7c0f399 (diff) | |
git-clone --shared should imply --local
The "--shared" option to git-clone is silently ignored if "--local" is
not specified. The manual doesn't mention such dependency. Make
"--shared" imply "--local".
Signed-off-by: Pavel Roskin <proski@gnu.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-clone.sh')
| -rwxr-xr-x | git-clone.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-clone.sh b/git-clone.sh index c09979a7a4..699205eb66 100755 --- a/git-clone.sh +++ b/git-clone.sh @@ -73,7 +73,7 @@ while *,-n) no_checkout=yes ;; *,-l|*,--l|*,--lo|*,--loc|*,--loca|*,--local) use_local=yes ;; *,-s|*,--s|*,--sh|*,--sha|*,--shar|*,--share|*,--shared) - local_shared=yes ;; + local_shared=yes; use_local=yes ;; *,-q|*,--quiet) quiet=-q ;; 1,-u|1,--upload-pack) usage ;; *,-u|*,--upload-pack) |