diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index f224ab61915..28f4c9ff986 100755 --- a/configure +++ b/configure @@ -13813,7 +13813,7 @@ else if test $ok = yes; then # An in-tree tool is available and we can use it - STRIP_FOR_TARGET='$$r/$(HOST_SUBDIR)/binutils/strip' + STRIP_FOR_TARGET='$$r/$(HOST_SUBDIR)/binutils/strip-new' { $as_echo "$as_me:${as_lineno-$LINENO}: result: just compiled" >&5 $as_echo "just compiled" >&6; } elif expr "x$STRIP_FOR_TARGET" : "x/" > /dev/null; then |