diff options
| -rw-r--r-- | unix/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/unix/Makefile.in b/unix/Makefile.in index 1bf5814..050b808 100644 --- a/unix/Makefile.in +++ b/unix/Makefile.in @@ -151,7 +151,8 @@ SHELL = @MAKEFILE_SHELL@ # distribution, which is slower but guaranteed to work. INSTALL_STRIP_PROGRAM = -s -INSTALL_STRIP_LIBRARY = -S -x +# Use --strip-unneeded instead of -x. See issue 718de2132f487cf2 +INSTALL_STRIP_LIBRARY = -S --strip-unneeded INSTALL = $(SHELL) $(UNIX_DIR)/install-sh -c INSTALL_PROGRAM = ${INSTALL} |