[ovs-dev] [PATCH 1/2] vagrant: cleanup before building
blp at ovn.org
Tue Oct 4 20:19:21 UTC 2016
On Tue, Oct 04, 2016 at 04:12:00PM -0300, Thadeu Lima de Souza Cascardo wrote:
> 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 <cascardo at redhat.com>
> > > ---
> > > 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.
If it turns out to make more sense to do the configure/distclean
pairing, let me know. It just seems wasteful, not incorrect.
More information about the dev