#!/usr/bin/env bash set -xe [ $# -eq 1 ] DEST="$1" SCRIPT_DIR="$(dirname "$(realpath "${BASH_SOURCE[0]}")")" bash "${SCRIPT_DIR}/../../utils/checkout.sh" https://github.com/KhronosGroup/SPIRV-Headers 2a611a970fdbc41ac2e3e328802aed9985352dca "${DEST}/external/SPIRV-Headers"