diff options
| author | antoine <antoine@FreeBSD.org> | 2015-06-08 13:59:13 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2015-06-08 13:59:13 +0800 |
| commit | 3e2eb1877c141b034d9ba3113b86c9260793f570 (patch) | |
| tree | 6222d08cad20cc04a280a9ae4718b7060765e092 /graphics/pixie | |
| parent | d936229c8e499866fafbdcf4163cf7bad6b879d6 (diff) | |
| download | freebsd-ports-gnome-3e2eb1877c141b034d9ba3113b86c9260793f570.tar.gz freebsd-ports-gnome-3e2eb1877c141b034d9ba3113b86c9260793f570.tar.zst freebsd-ports-gnome-3e2eb1877c141b034d9ba3113b86c9260793f570.zip | |
Make ports using libtool treat elftoolchain's strip the same as GNU strip
Any strip on any FreeBSD version should be able to handle stripping requested
by libtool
PR: 198611
Reviewed by: emaste
Exp-run: self
Diffstat (limited to 'graphics/pixie')
| -rw-r--r-- | graphics/pixie/files/patch-configure | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/graphics/pixie/files/patch-configure b/graphics/pixie/files/patch-configure index 5a5410f68a3a..c423707d783f 100644 --- a/graphics/pixie/files/patch-configure +++ b/graphics/pixie/files/patch-configure @@ -1,14 +1,5 @@ --- configure.orig +++ configure -@@ -12199,7 +12199,7 @@ - old_striplib= - { $as_echo "$as_me:$LINENO: checking whether stripping libraries is possible" >&5 - $as_echo_n "checking whether stripping libraries is possible... " >&6; } --if test -n "$STRIP" && $STRIP -V 2>&1 | $GREP "GNU strip" >/dev/null; then -+if test -n "$STRIP" && $STRIP -V 2>&1 | $GREP "strip" >/dev/null; then - test -z "$old_striplib" && old_striplib="$STRIP --strip-debug" - test -z "$striplib" && striplib="$STRIP --strip-unneeded" - { $as_echo "$as_me:$LINENO: result: yes" >&5 @@ -18418,10 +18418,10 @@ if test x$FLTK_CONFIG != xno ; then if test x$STATIC_FLTK != xtrue ; then |