| commit | e65abba584155b176c81ef2db4a4860fbd2f866c | [log] [tgz] |
|---|---|---|
| author | Andy Bavier <andy@onlab.us> | Thu Mar 09 06:01:52 2017 -0500 |
| committer | Andy Bavier <andy@onlab.us> | Thu Mar 09 06:01:52 2017 -0500 |
| tree | fdefa5fa39c67d920ac84fef0bbe5266d8c5d68c | |
| parent | a573079d8f00cb7af417b3e567c0e1caa9a44a5e [diff] |
CORD-1019 Repeat 'vagrant destroy' if it fails Change-Id: I9b690ecd3a523244b3e9cb2c8010ed6398a982fc
diff --git a/scripts/cord-in-a-box.sh b/scripts/cord-in-a-box.sh index 583f235..35415f7 100755 --- a/scripts/cord-in-a-box.sh +++ b/scripts/cord-in-a-box.sh
@@ -40,7 +40,7 @@ then echo "Destroying all Vagrant VMs" cd $CORDDIR/build - sudo su $USER -c 'vagrant destroy' + for i in `seq 12`; do sudo su $USER -c 'vagrant destroy' && break; done fi echo "Removing $CORDDIR"