From 960e99dcdd1423041b14c9b42c9d8a666d682502 Mon Sep 17 00:00:00 2001
From: Thadeu Lima de Souza Cascardo <cascardo@redhat.com>
Date: Mon, 19 Sep 2016 16:31:04 -0300
Subject: 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>
---
 Vagrantfile | 4 ++--
 1 file 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|
-- 
cgit v1.2.1