From: Johannes Schindelin Date: Sat, 28 Jun 2008 17:31:45 GMT Subject: Re: [PATCH] shrink git-shell by avoiding redundant dependencies Message-ID: 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