diff options
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| |