commit | 640f4e637c717c75f12712cc0a0a0d34d2f95253 | [log] [tgz] |
---|---|---|
author | Andy Bavier <acb@cs.princeton.edu> | Fri Jun 10 16:55:02 2016 -0400 |
committer | GitHub <noreply@github.com> | Fri Jun 10 16:55:02 2016 -0400 |
tree | de395cc1a7c5d75857bc8658e931560cd823534c | |
parent | 5e565668a9edd76d55f29de6c4b13a1fa2177338 [diff] |
Re-run 'make vtn' to work around synchronizer bug
diff --git a/scripts/single-node-pod.sh b/scripts/single-node-pod.sh index 832d222..73c253f 100755 --- a/scripts/single-node-pod.sh +++ b/scripts/single-node-pod.sh
@@ -86,7 +86,7 @@ echo "Pause 30 seconds" sleep 30 - ssh ubuntu@xos "cd xos/xos/configurations/cord-pod; make cord" + ssh ubuntu@xos "cd xos/xos/configurations/cord-pod; make cord; make vtn" if [[ $EXAMPLESERVICE -eq 1 ]] then