2023-01-20 10:41:00 +00:00
|
|
|
if [ -e .attrs.sh ]; then source .attrs.sh; fi
|
2020-04-24 23:36:52 +00:00
|
|
|
source $stdenv/setup
|
|
|
|
|
2023-02-02 18:25:31 +00:00
|
|
|
echo "exporting $url (r$rev) into $out"
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
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
|