2022-12-08 00:51:03 +01:00
|
|
|
if [ -e .attrs.sh ]; then source .attrs.sh; fi
|
2008-09-26 10:57:51 +02:00
|
|
|
source "$stdenv/setup"
|
|
|
|
|
2023-01-15 23:08:12 +01:00
|
|
|
echo "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.
|
2023-03-01 05:20:00 +01:00
|
|
|
XDG_CACHE_HOME="$TMPDIR" BRZ_LOG=/dev/null bzr -Ossl.cert_reqs=none export -r "$rev" --format=dir "$out" "$url"
|