#!/bin/bash
#
# This is sourced from /home/vagrant/.bashrc, triggered by vagrant ssh
#
export PATH="$PATH:/usr/local/gcc-arm-none-eabi-4_8-2014q3/bin/"