From 0000e98387b76863afc7e061f08b41fbc5a77762 Mon Sep 17 00:00:00 2001 From: pooryorick Date: Fri, 14 Apr 2023 11:40:11 +0000 Subject: Fix for issue [718de2132f487cf2], "review use of strip on the stubs library". --- unix/Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/unix/Makefile.in b/unix/Makefile.in index 21d4085..2f28fcf 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} -- cgit v0.12