a0cb138ada
GitOrigin-RevId: a100acd7bbf105915b0004427802286c37738fef
8 lines
312 B
Bash
8 lines
312 B
Bash
if [ -e .attrs.sh ]; then source .attrs.sh; fi
|
|
source "$stdenv/setup"
|
|
|
|
echo "exporting \`$url' (revision $rev) into \`$out'"
|
|
|
|
# Perform a lightweight checkout so that we don't end up importing
|
|
# all the repository's history.
|
|
BZR_LOG=/dev/null bzr -Ossl.cert_reqs=none export -r "$rev" --format=dir "$out" "$url"
|