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)
strip them by hand.  Everyone else needs symbols to work around
RTLD_GLOBAL issues, OR to help with debugging

configure.in

index 3d069b1..c06db06 100644 (file)
@@ -907,7 +907,7 @@ if test "x$developer" = "xyes" -a "x$GCC" = "xyes"; then
 else
   devflags=""
   CFLAGS="$CFLAGS -DNDEBUG"
-  INSTALLSTRIP="-s"
+  INSTALLSTRIP=""
   AC_MSG_RESULT(no.)
 fi