diff options
| author | teor <teor@torproject.org> | 2019-10-31 14:25:43 +1000 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2019-10-31 14:59:16 +1000 |
| commit | 38e8cca6a1d44d0edd6fcc9a6e40eadb6e91d789 (patch) | |
| tree | 79f58846a90026ac1aa69bb1767cb1517968f03c /scripts/git/git-setup-dirs.sh | |
| parent | 995618ec619739cb7c54e809d6d817be4e9ed2de (diff) | |
| download | tor-38e8cca6a1d44d0edd6fcc9a6e40eadb6e91d789.tar.gz tor-38e8cca6a1d44d0edd6fcc9a6e40eadb6e91d789.zip | |
scripts/git: Add TOR_EXTRA_CLONE_ARGS for git clone
When running git-setup-dirs.sh.
Part of 32347.
Diffstat (limited to 'scripts/git/git-setup-dirs.sh')
| -rwxr-xr-x | scripts/git/git-setup-dirs.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/git/git-setup-dirs.sh b/scripts/git/git-setup-dirs.sh index a1e465818d..12355af8da 100755 --- a/scripts/git/git-setup-dirs.sh +++ b/scripts/git/git-setup-dirs.sh @@ -40,6 +40,8 @@ function usage() echo " (current: $GITHUB_PULL)" echo " TOR_GITHUB_PUSH: the tor-github remote push URL" echo " (current: $GITHUB_PUSH)" + echo " TOR_EXTRA_CLONE_ARGS: extra arguments to git clone" + echo " (current: $TOR_EXTRA_CLONE_ARGS)" echo " we recommend that you set these env vars in your ~/.profile" } @@ -288,7 +290,7 @@ function goto_dir # If the directory already exists: fail if $USE_EXISTING is 0, otherwise skip. function clone_repo { - local cmd="git clone '$1' '$2'" + local cmd="git clone $TOR_EXTRA_CLONE_ARGS '$1' '$2'" printf " %s Cloning %s into %s..." "$MARKER" "$1" "$2" local check_cmd="[ ! -d '$2' ]" msg=$( eval "$check_cmd" 2>&1 ) |