Revert "Use git fetch --all to update local clone in stead of git pull. Also, do not use --branch in initial clone."

This reverts commit 53329ecc61.
This commit is contained in:
Rob Vermaas 2012-04-10 10:04:22 +02:00
parent 53329ecc61
commit 79211d5efe

View file

@ -328,14 +328,14 @@ sub fetchInputGit {
my $stdout; my $stderr;
if (! -d $clonePath) {
(my $res, $stdout, $stderr) = captureStdoutStderr(600,
("git", "clone", $uri, $clonePath));
("git", "clone", "--branch", $branch, $uri, $clonePath));
die "Error cloning git repo at `$uri':\n$stderr" unless $res;
}
# git pull + check rev
chdir $clonePath or die $!; # !!! urgh, shouldn't do a chdir
(my $res, $stdout, $stderr) = captureStdoutStderr(600,
("git", "fetch", "--all"));
("git", "pull"));
die "Error pulling latest change git repo at `$uri':\n$stderr" unless $res;
(my $res1, $stdout, $stderr) = captureStdoutStderr(600,