utils/vivado.sh

#!/bin/bash

source "${XRAY_VIVADO_SETTINGS}"

vivado "$@"