Merge remote-tracking branch 'origin/master'
diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index b4fbc4d..6b66ff1 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -20,7 +20,7 @@
# 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)
}