#!/usr/bin/env bash
# Canonical HCIE workspace build entry point.

set -euo pipefail

ROOT_DIR="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"

if [[ $# -eq 0 ]]; then
    set -- --workspace
fi

"${ROOT_DIR}/scripts/cargo-with-build-id.sh" build "$@"