#!/bin/bash

# Run development environment out of build directory, using host-tools.sh if
# available.

cd build/system-image-"$1" &&
  PATH="$(pwd)/build/host:$PATH" ./dev-environment.sh