2011-06-22 21:34:27 +02:00
|
|
|
# tested so far with:
|
|
|
|
# - no revision specified and remote has a HEAD which is used
|
|
|
|
# - revision specified and remote has a HEAD
|
2011-06-22 23:01:36 +02:00
|
|
|
# - revision specified and remote without HEAD
|
2009-06-24 14:48:01 +02:00
|
|
|
source $stdenv/setup
|
|
|
|
|
|
|
|
header "exporting $url (rev $rev) into $out"
|
|
|
|
|
2011-08-20 16:29:57 +02:00
|
|
|
$fetcher --builder --url "$url" --out "$out" --rev "$rev" ${leaveDotGit:+--leave-dotGit}
|
2009-06-24 14:48:01 +02:00
|
|
|
|
2010-01-27 13:12:35 +01:00
|
|
|
stopNest
|