diff options
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/Makefile.in | 10 | ||||
| -rw-r--r-- | unix/install-sh | 5 |
2 files changed, 14 insertions, 1 deletions
diff --git a/unix/Makefile.in b/unix/Makefile.in index 1b280a7..ff40657 100644 --- a/unix/Makefile.in +++ b/unix/Makefile.in @@ -5,7 +5,7 @@ # "autoconf" program (constructs like "@foo@" will get replaced in the # actual Makefile. # -# RCS: @(#) $Id: Makefile.in,v 1.82 2002/09/10 09:59:15 das Exp $ +# RCS: @(#) $Id: Makefile.in,v 1.83 2002/09/26 17:07:33 das Exp $ # Current Tk version; used in various names. @@ -172,6 +172,9 @@ SHELL = /bin/sh # "install" around; better to use the install-sh script that comes # with the distribution, which is slower but guaranteed to work. +INSTALL_STRIP_PROGRAM = -s +INSTALL_STRIP_LIBRARY = -S -S + INSTALL = @srcdir@/install-sh -c INSTALL_PROGRAM = ${INSTALL} INSTALL_LIBRARY = ${INSTALL} @@ -493,6 +496,11 @@ gdb: wish install: all install-binaries install-libraries install-demos install-doc +install-strip: + $(MAKE) install \ + INSTALL_PROGRAM="$(INSTALL_PROGRAM) ${INSTALL_STRIP_PROGRAM}" \ + INSTALL_LIBRARY="$(INSTALL_LIBRARY) ${INSTALL_STRIP_LIBRARY}" + # Note: before running ranlib below, must cd to target directory because # some ranlibs write to current directory, and this might not always be # possible (e.g. if installing as root). diff --git a/unix/install-sh b/unix/install-sh index 0ff4b6a..a9a1f27 100644 --- a/unix/install-sh +++ b/unix/install-sh @@ -62,6 +62,11 @@ while [ x"$1" != x ]; do shift continue;; + -S) stripcmd="$stripprog $2" + shift + shift + continue;; + *) if [ x"$src" = x ] then src=$1 |