| commit | d16ce18d0c38089c55e955db6f2bec578fddf96c | [log] [tgz] |
|---|---|---|
| author | Thomas Vachuska <tom@onlab.us> | Wed Oct 29 17:25:29 2014 -0700 |
| committer | Thomas Vachuska <tom@onlab.us> | Wed Oct 29 17:25:29 2014 -0700 |
| tree | afec898fcdd7a179cfdea3f000f379e743664750 | |
| parent | 49e159acff8c379be9b70c1fbea67ec94c4ad259 [diff] [blame] |
Added Port.Type and plumbed it throughout.
diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile index 8d4a784..2e4c564 100644 --- a/tools/dev/bash_profile +++ b/tools/dev/bash_profile
@@ -34,6 +34,7 @@ # Short-hand for ONOS build, package and test. alias ob='onos-build' +alias obi='onos-build -Dmaven.test.failure.ignore=true' alias obs='onos-build-selective' alias op='onos-package' alias ot='onos-test'