diff options
author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-10-19 12:40:19 +0200 |
---|---|---|
committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-10-19 12:44:37 +0200 |
commit | c3b6a1a2e62e0f9943e1dc8e03492a532a1b4770 (patch) | |
tree | 0876e2d61f7a1852491cc835d822f3335a16b7dc | |
parent | 5f509bfbdfe17f9fecfe1665c466c75607524b38 (diff) | |
download | jazzer-api-c3b6a1a2e62e0f9943e1dc8e03492a532a1b4770.tar.gz |
Fix invalid arguments in push_all.sh
-rwxr-xr-x | docker/push_all.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker/push_all.sh b/docker/push_all.sh index 3ba7e4c4..59d43718 100755 --- a/docker/push_all.sh +++ b/docker/push_all.sh @@ -17,5 +17,5 @@ set -e this_dir=$(dirname "$(realpath "$0")") "$this_dir"/build_all.sh --no-cache -docker push -t cifuzz/jazzer -docker push -t cifuzz/jazzer-autofuzz +docker push cifuzz/jazzer +docker push cifuzz/jazzer-autofuzz |