Tweaked bash_profile.
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)
 }