2009-06-24 14:48:01 +02:00
|
|
|
source $stdenv/setup
|
|
|
|
|
|
|
|
header "exporting $url (rev $rev) into $out"
|
|
|
|
|
2009-11-08 02:51:20 +01:00
|
|
|
git clone "$url" $out
|
2009-06-24 14:48:01 +02:00
|
|
|
if test -n "$rev"; then
|
|
|
|
cd $out
|
|
|
|
git checkout $rev
|
|
|
|
fi
|
|
|
|
|
2010-01-27 13:12:35 +01:00
|
|
|
if test -z "$leaveDotGit"; then
|
|
|
|
find $out -name .git\* | xargs rm -rf
|
|
|
|
fi
|
2009-06-24 14:48:01 +02:00
|
|
|
|
2010-01-27 13:12:35 +01:00
|
|
|
stopNest
|