| 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/build/onos-build b/tools/build/onos-build index 2f31eeb..6257340 100755 --- a/tools/build/onos-build +++ b/tools/build/onos-build
@@ -6,4 +6,4 @@ [ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1 . $ONOS_ROOT/tools/build/envDefaults -cd $ONOS_ROOT && mvn clean install && cd docs && mvn javadoc:aggregate +cd $ONOS_ROOT && mvn clean install "$@" && cd docs && mvn javadoc:aggregate