blob: f0c7cc485f5097571702df40097fcd517dee5445 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- a/shtool 2008-07-05 05:43:08.000000000 +0800
+++ b/shtool 2018-07-25 15:45:40.559587471 +0800
@@ -1400,7 +1400,7 @@
if [ ".$opt_t" = .yes ]; then
echo "strip $dsttmp" 1>&2
fi
- strip $dsttmp || shtool_exit $?
+ $STRIP $dsttmp || shtool_exit $?
fi
if [ ".$opt_o" != . ]; then
if [ ".$opt_t" = .yes ]; then
|