view more/dev-environment-from-build.sh @ 1719:78050a31d1ee draft

Sigh. Checked in the wrong version of the patch (typo fix).
author Rob Landley <rob@landley.net>
date Tue, 06 Jan 2015 13:15:33 -0600
parents 6173bb6f3b2c
children
line wrap: on
line source

#!/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