diff options
Diffstat (limited to 'hooks/pre-push')
| -rwxr-xr-x | hooks/pre-push | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/hooks/pre-push b/hooks/pre-push index 6a9b712..b75fe4b 100755 --- a/hooks/pre-push +++ b/hooks/pre-push @@ -47,17 +47,17 @@ done cd .. -make static -scp passt pasta qrap passt.1 pasta.1 qrap.1 "${USER_HOST}:${BIN}" - -man2html -M "/" passt.1 > passt.1.html -scp passt.1.html "${USER_HOST}:${WEB}/" - make pkgs +scp passt passt.avx2 passt.1 qrap qrap.1 "${USER_HOST}:${BIN}" +scp pasta pasta.avx2 pasta.1 "${USER_HOST}:${BIN}" + ssh "${USER_HOST}" "rm -f ${BIN}/*.deb" ssh "${USER_HOST}" "rm -f ${BIN}/*.rpm" scp *.deb *.rpm "${USER_HOST}:${BIN}/" +man2html -M "/" passt.1 > passt.1.html +scp passt.1.html "${USER_HOST}:${WEB}/" + ssh "${USER_HOST}" "mv ${LATEST} ${AWAY}" ssh "${USER_HOST}" "mv ${TEMP} ${LATEST}" ssh "${USER_HOST}" "rm -rf ${AWAY}" |