postpush.pl must pull latest changed branch to get appropriate buildall.pl.

This commit is contained in:
David Brown 2016-07-21 12:49:27 +01:00
parent 61eb8199d4
commit ff9a45bc1a

View file

@ -43,7 +43,7 @@ if ($buildneeded) {
} else {
close(STDIN); close(STDOUT); close(STDERR); # child process
system 'echo Syncing voc>postpush.log';
system '(cd voc && git pull) >>postpush.log';
system '(cd voc && git pull && git checkout $branch) >>postpush.log';
exec 'perl voc/src/tools/make/buildall.pl $branch >/tmp/buildall.log';
exit;
}