Re: Stripping bins...

[Raja R Harinath <harinath cs umn edu>]

"Josh Emmons \(skia\)" <j-emmons@sjca.edu> writes:
> What about stripping binaries.  

Use

        make install-strip

instead of

        make install

That should automatically take care of installing stripped binaries.  

> Would gnome die if I, for example, did a strip /usr/local/bin/* ?

Nothing bad should happen (if anything bad occurs, its probably a bug
in your compiler+linker combo; GNOME uses no special linker tricks).

- Hari
-- 
Raja R Harinath ------------------------------ harinath@cs.umn.edu
"When all else fails, read the instructions."      -- Cahn's Axiom
"Our policy is, when in doubt, do the right thing."   -- Roy L Ash