Still trying to get branch switching to work.

This commit is contained in:
David Brown 2016-08-12 15:40:27 +01:00
parent 9382162aff
commit 28bff470c6

View file

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