#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "$0")/.." && pwd)"
bash -n "$ROOT/scripts/deploy.sh"
grep -q host-deps.sh "$ROOT/scripts/deploy.sh"
echo OK