tom

Tweaked bash_profile.

......@@ -20,7 +20,7 @@ export PATH="$PATH:."
# Convenience utility to warp to various ONOS source projects
# e.g. 'o api', 'o dev', 'o'
function o {
cd $(find $ONOS_ROOT/ -type d | egrep -v '\.git|target' | \
cd $(find $ONOS_ROOT/ -type d | egrep -v '\.git|target|gen-src' | \
egrep "${1:-$ONOS_ROOT}" | egrep -v "$ONOS_ROOT/.+/src/" | head -n 1)
}
......