2008-09-26 10:57:51 +02:00
|
|
|
source "$stdenv/setup"
|
|
|
|
|
2014-06-28 20:33:28 +02:00
|
|
|
header "exporting \`$url' (revision $rev) into \`$out'"
|
2008-09-26 10:57:51 +02:00
|
|
|
|
|
|
|
# Perform a lightweight checkout so that we don't end up importing
|
|
|
|
# all the repository's history.
|
2017-10-30 22:48:00 +01:00
|
|
|
BZR_LOG=/dev/null bzr -Ossl.cert_reqs=none export -r "$rev" --format=dir "$out" "$url"
|
2008-09-26 10:57:51 +02:00
|
|
|
|
|
|
|
stopNest
|