#!/bin/bash

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

cd build/system-image-"$1" &&
  env PATH="$[pwd]/build/host:$PATH" ./dev-environment.sh