0d9fc34957
GitOrigin-RevId: 5ed481943351e9fd354aeb557679624224de38d5
16 lines
485 B
Bash
16 lines
485 B
Bash
if [ -e .attrs.sh ]; then source .attrs.sh; fi
|
|
source $stdenv/setup
|
|
|
|
header "exporting $url (r$rev) into $out"
|
|
|
|
if test "$sshSupport"; then
|
|
export SVN_SSH="$openssh/bin/ssh"
|
|
fi
|
|
|
|
# Pipe the "p" character into Subversion to force it to accept the
|
|
# server's certificate. This is perfectly safe: we don't care
|
|
# whether the server is being spoofed --- only the cryptographic
|
|
# hash of the output matters.
|
|
expect -f $sshSubversion "$username" "$password" "$rev" "$url" $out
|
|
|
|
stopNest
|