| commit | cf8dd2a398c88729bc7e098ad5ad29aff329e2ba | [log] [tgz] |
|---|---|---|
| author | tom <tom@onlab.us> | Fri Oct 10 08:37:20 2014 -0700 |
| committer | tom <tom@onlab.us> | Fri Oct 10 08:37:20 2014 -0700 |
| tree | 2f78a63bd4f3e1671e11eddf1bfd0f51ba16a83c | |
| parent | e7f01ee544bad1dafc2ae8111f1c34d01d0f8482 [diff] |
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) }