홍길동 / onos

Go to a project
Toggle navigation Toggle navigation pinning
Thomas Vachuska
4a9d63e1 1 parent e9002d03

Improving push through proxy tool 

Change-Id: I27e4fca905bf2f7f732a05941e9082ae713f6529
Inline Side-by-side
Showing 1 changed file with 2 additions and 1 deletions
......@@ -6,6 +6,7 @@
[ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1
. $ONOS_ROOT/tools/build/envDefaults
OCT=${OCT:-$OCI}
node=${1:-$OCT}
remote=$ONOS_USER@$node
shift
......@@ -13,7 +14,7 @@ shift
echo "Pushing to proxy $node..."
onos-push-bits $node
others=$(env | sort | egrep "OC[0-9]+" | cut -d= -f2)
others=$(env | sort | egrep "OC[0-9]+" | cut -d= -f2 | grep -v $OCT)
for other in $others; do
echo "Pushing to $other..."
......