Files

13 lines
257 B
Bash
Raw Permalink Normal View History

2026-07-21 04:25:23 +03:00
#!/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 "$@"