#!/bin/bash
set -euo pipefail

ROOT_DIR="${WDMAKER_ROOT:-$PWD}"
WDMAKER_ROOT="$ROOT_DIR" exec "$ROOT_DIR/tools/run-python.sh" "$ROOT_DIR/tools/design/run.py" --root "$ROOT_DIR" "$@"