Skip to content

Commit a14afd3

Browse files
committed
Use --strip-unneeded when stripping static libraries with GNU strip.
We've long used "--strip-unneeded" for shared libraries but plain "-x" for static libraries when stripping symbols with GNU strip. There doesn't seem to be any really good reason for that though, since --strip-unneeded produces smaller output (as "-x" alone does not remove debug symbols). Moreover it seems that llvm-strip, although it identifies as GNU strip, misbehaves when given "-x" for this purpose. It's unclear whether that's intentional or a bug in llvm-strip, but in any case it seems like changing to use --strip-unneeded in all cases should be a win. Note that this doesn't change our behavior when dealing with non-GNU strip. Per gripes from Ed Maste and Palle Girgensohn. Back-patch, in case anyone wants to use llvm-strip with stable branches. Discussion: https://postgr.es/m/17898-5308d09543463266@postgresql.org Discussion: https://postgr.es/m/20230420153338.bbj2g5jiyy3afhjz@awork3.anarazel.de
1 parent 63a03ae commit a14afd3

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

config/programs.m4

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -309,7 +309,7 @@ AC_DEFUN([PGAC_CHECK_STRIP],
309309
310310
AC_MSG_CHECKING([whether it is possible to strip libraries])
311311
if test x"$STRIP" != x"" && "$STRIP" -V 2>&1 | grep "GNU strip" >/dev/null; then
312-
STRIP_STATIC_LIB="$STRIP -x"
312+
STRIP_STATIC_LIB="$STRIP --strip-unneeded"
313313
STRIP_SHARED_LIB="$STRIP --strip-unneeded"
314314
AC_MSG_RESULT(yes)
315315
else

configure

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9669,7 +9669,7 @@ fi
96699669
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether it is possible to strip libraries" >&5
96709670
$as_echo_n "checking whether it is possible to strip libraries... " >&6; }
96719671
if test x"$STRIP" != x"" && "$STRIP" -V 2>&1 | grep "GNU strip" >/dev/null; then
9672-
STRIP_STATIC_LIB="$STRIP -x"
9672+
STRIP_STATIC_LIB="$STRIP --strip-unneeded"
96739673
STRIP_SHARED_LIB="$STRIP --strip-unneeded"
96749674
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
96759675
$as_echo "yes" >&6; }

0 commit comments

Comments
 (0)