Re: [ovs-dev] [PATCH v2] vagrant: cleanup before building

2016-10-09 Thread Ben Pfaff
On Sat, Oct 08, 2016 at 07:27:17AM -0300, Thadeu Lima de Souza Cascardo wrote:
> 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 
> Cc: Ben Pfaff 

Thanks for humoring me.  I applied this to master.  Please let me know
if you want me to backport it to branch-2.6 also.
___
dev mailing list
dev@openvswitch.org
http://openvswitch.org/mailman/listinfo/dev


[ovs-dev] [PATCH v2] vagrant: cleanup before building

2016-10-08 Thread Thadeu Lima de Souza Cascardo
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 
Cc: Ben Pfaff 
---
 Vagrantfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Vagrantfile b/Vagrantfile
index 8f7adee..fb17ec5 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -33,6 +33,7 @@ SCRIPT
 $configure_ovs =