On Tue, Oct 04, 2016 at 12:00:33PM -0700, Ben Pfaff wrote: > On Mon, Sep 19, 2016 at 04:31:03PM -0300, Thadeu Lima de Souza Cascardo wrote: > > Clean the source directory before building, otherwise, build might fail if > > it > > has been configured already. > > > > Signed-off-by: Thadeu Lima de Souza Cascardo <[email protected]> > > --- > > Vagrantfile | 2 ++ > > 1 file changed, 2 insertions(+) > > > > diff --git a/Vagrantfile b/Vagrantfile > > index 72f224c..11bd048 100644 > > --- a/Vagrantfile > > +++ b/Vagrantfile > > @@ -33,6 +33,8 @@ SCRIPT > > $configure_ovs = <<SCRIPT > > cd /vagrant > > ./boot.sh > > +./configure > > +make distclean > > Seems a little weird given that the build script doesn't actually do an > in-tree build but an out-of-tree one. Based on that, I guess that this > is to guard against the case where someone manually does an in-tree > build. That's probably an unusual case, so it seems a little wasteful > to always do an extra configure/distclean step to handle it. > > If that analysis is right, then how about adding something like this > instead: > test -f Makefile && make distclean > which would only do the distclean if the tree was in fact configured.
Well, the thing is that we sync with whatever is on the host, where I do some development and some testing, including builds before I fire up tests inside vagrant. Then, it's a waste of time to get the vagrant system up and fail. I will give a go at checking for the Makefile. Seems a good solution. Thanks. Cascardo. _______________________________________________ dev mailing list [email protected] http://openvswitch.org/mailman/listinfo/dev
