postpush.pl fix branch passed to buildall.

This commit is contained in:
David Brown 2016-07-21 12:56:10 +01:00
parent ff9a45bc1a
commit 0d988a8ea0

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 && git checkout $branch) >>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;
}