From 3d982663b78a1bc3ca94e718089e16111c6db04d Mon Sep 17 00:00:00 2001
From: Thadeu Lima de Souza Cascardo <cascardo@redhat.com>
Date: Sat, 8 Oct 2016 07:27:17 -0300
Subject: vagrant: cleanup before building

Clean the source directory before building, otherwise, build might fail if it
has been configured already.

Only do it if there is a Makefile present, as suggested by Ben Pfaff.

Signed-off-by: Thadeu Lima de Souza Cascardo <cascardo@redhat.com>
Signed-off-by: Ben Pfaff <blp@ovn.org>
---
 Vagrantfile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Vagrantfile')

diff --git a/Vagrantfile b/Vagrantfile
index 8f7adee4e..fb17ec5ed 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -33,6 +33,7 @@ SCRIPT
 $configure_ovs = <<SCRIPT
 cd /vagrant
 ./boot.sh
+[ -f Makefile ] && ./configure && make distclean
 mkdir -p ~/build
 cd ~/build
 /vagrant/configure --with-linux=/lib/modules/`uname -r`/build --enable-silent-rules
-- 
cgit v1.2.1