From: Bruno Haible <bruno@clisp.org>
Date: Sat, 17 Jan 2009 08:30:17 +0000 (+0100)
Subject: Oops, fix unintended commit.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=165dbf16133deaaa2ce85a9284d49a14181e299a;p=pspp

Oops, fix unintended commit.
---

diff --git a/build-aux/install-reloc b/build-aux/install-reloc
index 190dd64245..81aff878ca 100755
--- a/build-aux/install-reloc
+++ b/build-aux/install-reloc
@@ -173,9 +173,6 @@ test $rc = 0 || exit $?
 rm -rf "$destprog.wrapper$exeext.dSYM"
 test $rc = 0 || exit $?
 
-# Strip wrapper.
-test "$strip_prog" = ':' || func_verbose "$strip_prog" "$destprog.wrapper$exeext" || exit $?
-
 # Rename $destprog.wrapper -> $destprog -> $destprog.bin.
 ln -f "$destprog$exeext" "$destprog.bin$exeext" \
   || { rm -f "$destprog.bin$exeext" \