diff options
| -rwxr-xr-x | hooks/pre-push | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hooks/pre-push b/hooks/pre-push index 839b310..3e2d15f 100755 --- a/hooks/pre-push +++ b/hooks/pre-push @@ -57,6 +57,7 @@ make pkgs scp passt passt.avx2 passt.1 qrap qrap.1 "${USER_HOST}:${BIN}" scp pasta pasta.avx2 pasta.1 "${USER_HOST}:${BIN}" scp passt-repair passt-repair.1 "${USER_HOST}:${BIN}" +scp pesto pesto.1 "${USER_HOST}:${BIN}" ssh "${USER_HOST}" "rm -f ${BIN}/*.deb" ssh "${USER_HOST}" "rm -f ${BIN}/*.rpm" |