Hi Another configure tweak.
- Lauri
>From 971edf274f73a058d26d1f8a8b48304de62d05f8 Mon Sep 17 00:00:00 2001 From: Lauri Kasanen <[email protected]> Date: Mon, 28 May 2012 15:47:26 +0300 Subject: [PATCH] strip: ignore errors, use --strip-unneeded Signed-off-by: Lauri Kasanen <[email protected]> --- configure | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/configure b/configure index d4e8956..df31195 100755 --- a/configure +++ b/configure @@ -368,8 +368,8 @@ $plglist install -m 644 ./man/monkey-api.3 \$(MANDIR)/man3 install -m 644 ./htdocs/*.* \$(DATADIR) install -m 644 ./htdocs/imgs/*.* \${DATADIR}/imgs - $STRIP \$(BINDIR)/monkey - $STRIP \${PLUGINDIR}/* + -$STRIP --strip-unneeded \$(BINDIR)/monkey + -$STRIP --strip-unneeded \${PLUGINDIR}/* @echo @echo " Running Monkey :" @echo " ----------------" -- 1.7.2.1
_______________________________________________ Monkey mailing list [email protected] http://lists.monkey-project.com/listinfo/monkey
