Add hard reset and clean to postpush script.

This commit is contained in:
David Brown 2016-10-11 12:11:57 +01:00
parent ee77ec43ca
commit fb3753c55d

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 -f ' . $branch . '; git pull; git checkout -f) >>postpush.log';
system '(cd voc; git reset --hard; git clean -dfx; 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';
exit;
}