diff options
| author | Thadeu Lima de Souza Cascardo <cascardo@redhat.com> | 2016-09-19 16:31:04 -0300 |
|---|---|---|
| committer | Daniele Di Proietto <diproiettod@vmware.com> | 2016-10-07 15:48:57 -0700 |
| commit | 960e99dcdd1423041b14c9b42c9d8a666d682502 (patch) | |
| tree | aa71853f0e105da3865735b779527a7c734edb8a /Vagrantfile | |
| parent | 7979c4442da34591182a62b92ba2b59b2a5511e7 (diff) | |
| download | openvswitch-960e99dcdd1423041b14c9b42c9d8a666d682502.tar.gz | |
vagrant: use RECHECK=yes for system checks
Use RECHECK=yes for both kernel and userspace datapath tests.
Signed-off-by: Thadeu Lima de Souza Cascardo <cascardo@redhat.com>
Acked-by: Daniele Di Proietto <diproiettod@vmware.com>
Diffstat (limited to 'Vagrantfile')
| -rw-r--r-- | Vagrantfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Vagrantfile b/Vagrantfile index 72f224c6e..8f7adee4e 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -45,7 +45,7 @@ SCRIPT $test_kmod = <<SCRIPT cd ~/build -make check-kmod +make check-kmod RECHECK=yes SCRIPT $install_rpm = <<SCRIPT @@ -81,7 +81,7 @@ SCRIPT $test_ovs_system_userspace = <<SCRIPT cd ~/build -make check-system-userspace +make check-system-userspace RECHECK=yes SCRIPT Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| |