[ovs-dev] [PATCH 1/2] vagrant: cleanup before building

[Ben Pfaff]

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.