[PATCH util-modular] build.sh: run make clean after make install

[Peter Hutterer]

On Thu, Jul 26, 2012 at 10:11:55PM -0700, Alan Coopersmith wrote:
> On 07/26/12 09:04 PM, Peter Hutterer wrote:
> > Running it before dist/distcheck/install is a bit pointless
> 
> Isn't the point there to clean up leftovers from previous builds and
> ensure everything is fully rebuilt?   (Say if you changed a header
> and don't trust that we've got the dependencies right for rebuilding
> all files that include it.)

oh, is it? I thought the point was to clean up after the build (that's how I
understood the help text "Run make clean in addition to \"all install\"")
but I may be wrong here. If the point is to clean up before, then just
ignore this patch.

Cheers,
   Peter