Revision: 251
Author: martin2812
Date: Thu Sep 16 04:03:55 2010
Log: disable strip in make install ... when monit crashes, it is better to
get symbols from user, the file size increase is irrelevant nowadays with
hundreds of gigabytes/terabytes disks available
http://code.google.com/p/monit/source/detail?r=251
Modified:
/trunk/install-sh
=======================================
--- /trunk/install-sh Thu Jun 4 12:28:53 2009
+++ /trunk/install-sh Thu Sep 16 04:03:55 2010
@@ -195,8 +195,9 @@
if [ x"$chowncmd" != x ]; then $doit $chowncmd $dst; else true ; fi &&
if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd $dst; else true ; fi &&
- if [ x"$stripcmd" != x ]; then $doit $stripcmd $dst; else true ; fi &&
if [ x"$chmodcmd" != x ]; then $doit $chmodcmd $dst; else true ; fi
+ # don't strip - the file size will rise only only slightly,
whereas getting symbols is very valueable for debug
+ #if [ x"$stripcmd" != x ]; then $doit $stripcmd $dst; else true ; fi &&
else
# If we're going to rename the final executable, determine the name now.
@@ -236,7 +237,8 @@
if [ x"$chowncmd" != x ]; then $doit $chowncmd $dsttmp; else true;fi &&
if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd $dsttmp; else true;fi &&
- if [ x"$stripcmd" != x ]; then $doit $stripcmd $dsttmp; else true;fi &&
+ # don't strip - the file size will rise only only slightly,
whereas getting symbols is very valueable for debug
+ #if [ x"$stripcmd" != x ]; then $doit $stripcmd $dsttmp; else true;fi &&
if [ x"$chmodcmd" != x ]; then $doit $chmodcmd $dsttmp; else true;fi &&
# Now rename the file to the real destination.
_______________________________________________
monit-dev mailing list
monit-dev@nongnu.org
http://lists.nongnu.org/mailman/listinfo/monit-dev
