Lines Matching refs:remote
45 --remote=<repo> Instead of using a local repository, retrieve a tar archive
46 from a remote repository.
76 Create release packages from a remote Git repository for the tag php-7.4.0:
77 scripts/dev/makedist --remote=git@github.com:php/php-src.git php-7.4.0
81 --remote)
84 remote=$2
91 --remote=?*)
93 remote=${1#*=}
95 --remote=)
125 if test -n "$remote"; then
126 remote_option="--remote=$remote"
127 git=$remote
