Don't strip executables. The people who need the disk space can
authoraland <aland>
Wed, 7 Nov 2007 22:13:42 +0000 (22:13 +0000)
committeraland <aland>
Wed, 7 Nov 2007 22:13:42 +0000 (22:13 +0000)
commit2e8b67e37a075cbd2b101927f8afc22c3550c3bd
treec694c2f15176e2135201e892cda2799e08e06ebe
parent870ebac9ee6dbf29e38ae83654816792ccdc88e0
Don't strip executables.  The people who need the disk space can
strip them by hand.  Everyone else needs symbols to work around
RTLD_GLOBAL issues, OR to help with debugging
configure.in