diff options
| author | jschauma <jschauma@pkgsrc.org> | 2005-03-04 03:11:50 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2005-03-04 03:11:50 +0000 |
| commit | 5cad4922d82dd58c9310cc2800845c165039ea78 (patch) | |
| tree | a4aa0adfa72de6930705c91fd2e3fb974f1bfee0 /bootstrap | |
| parent | ad680a34f0cf7eb3baba4747fbe9aec4372dbd97 (diff) | |
| download | pkgsrc-5cad4922d82dd58c9310cc2800845c165039ea78.tar.gz | |
Some strip(1) commands don't strip anything but executables, so in order
to strip dynamic libraries, one would have to pass "-f" to strip(1).
This is done by passing "-S -f" to install, which implies "-s".
Make it so.
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap/files/install-sh.in | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/bootstrap/files/install-sh.in b/bootstrap/files/install-sh.in index 168ca5419e1..8c8108c24bb 100755 --- a/bootstrap/files/install-sh.in +++ b/bootstrap/files/install-sh.in @@ -1,6 +1,6 @@ #!/bin/sh # -# $NetBSD: install-sh.in,v 1.2 2004/05/17 14:54:45 jschauma Exp $ +# $NetBSD: install-sh.in,v 1.3 2005/03/04 03:11:50 jschauma Exp $ # This script now also installs multiple files, but might choke on installing # multiple files with spaces in the file names. # @@ -50,6 +50,7 @@ chmodcmd="$chmodprog @DEFAULT_INSTALL_MODE@" chowncmd="" chgrpcmd="" stripcmd="" +stripflags="" rmcmd="$rmprog -f" mvcmd="$mvprog" src="" @@ -86,6 +87,12 @@ while [ x"$1" != x ]; do shift continue;; + -S) stripcmd="$stripprog" + stripflags="-S $2 $stripflags" + shift + shift + continue;; + -t=*) transformarg=`echo "$1" | sed 's/-t=//'` shift continue;; @@ -219,7 +226,7 @@ then 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"$stripcmd" != x ]; then $doit $stripcmd $stripflags "$dst"; else true ; fi && if [ x"$chmodcmd" != x ]; then $doit $chmodcmd "$dst"; else true ; fi else @@ -269,7 +276,7 @@ else 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 && + if [ x"$stripcmd" != x ]; then $doit $stripcmd $stripflags "$dsttmp"; else true;fi && if [ x"$chmodcmd" != x ]; then $doit $chmodcmd "$dsttmp"; else true;fi && # Now rename the file to the real destination. |