#!/bin/sh
# Linux x64 by default; pass another runtime id such as linux-arm64.
exec "$(dirname "$0")/publish.sh" "${1:-linux-x64}"