#!/usr/bin/env bash

# Uploads the given file to be used as a third-party archive in bazel.
# Note: Run //scripts/build:init_z3_profile if you don't have
# Z3 credentials configured.

set -euo pipefail

script_directory="$( (builtin cd "$(dirname "${BASH_SOURCE[0]}")" && pwd) )"

"$script_directory"/upload-to-z3-and-s3.sh zoox-third-party "$@"
