Re: [PATCH] shrink git-shell by avoiding redundant dependencies
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jun 28, 2008, 17:31 UTC
- Message-ID
- <alpine.DEB.1.00.0806281830410.9925@racer>
- In-Reply-To
- <37fcd2780806280948y143b619p60f05495ca85454b@mail.gmail.com>
Hi,
Thanks for the explanation. Somehow I thought "strip" would do what an efficient linker should have done before, but I was wrong.
On Sat, 28 Jun 2008, Dmitry Potapov wrote:
> BTW, it is possible to reduce the "text" and "data" size twice more > using the whole program optimization, as it will discard some functions > that are not actually used, but I don't think it is worth pursuing as it > will complicate complication.
Heh. Indeed, the complication will be complicated ;-)
Ciao, Dscho