On Thu, Sep 25, 2014 at 03:51:44PM +0200, Paolo Bonzini wrote: > The GNU Makefile standards have "make install" and "make > install-strip" targets. It would be nice to add "make install-strip" > and at the same time flip the default from --enable-strip to > --disable-strip.
Makes sense. Stefan
pgpM0qFS95Sn7.pgp
Description: PGP signature
