diff options
Diffstat (limited to 'git-clone.sh')
-rwxr-xr-x | git-clone.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/git-clone.sh b/git-clone.sh index 0e8a57d2b4..823c74b913 100755 --- a/git-clone.sh +++ b/git-clone.sh @@ -98,6 +98,7 @@ close FH; ' quiet= +local=no use_local=no local_shared=no no_checkout= @@ -156,6 +157,13 @@ do shift done +repo="$1" +if test -z "$repo" +then + echo >&2 'you must specify a repository to clone.' + exit 1 +fi + # --bare implies --no-checkout if test yes = "$bare" then @@ -179,8 +187,6 @@ fi # Turn the source into an absolute path if # it is local -repo="$1" -local=no if base=$(get_repo_base "$repo"); then repo="$base" local=yes |