From a835b282fec0875bb2dc599866a806d282eb3809 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= Date: Sat, 23 Aug 2014 18:42:33 +0200 Subject: [PATCH] another fixup: stripFlags --- pkgs/stdenv/generic/setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index 25113bc91bb3..325a5cb9d13e 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -283,7 +283,7 @@ stripDir() { if [ -e "$dir" ]; then header "stripping (with flags $stripFlags) in $dir" - find "$dir" -type f -print0 | xargs -0 ${xargsFlags:--r} strip $stripFlags || true + find "$dir" -type f -print0 | xargs -0 ${xargsFlags:--r} strip "$commonStripFlags" "$stripFlags" || true stopNest fi } @@ -296,7 +296,7 @@ stripDirs() { for d in $subdirs; do if [ -d "$prefix/$d" ]; then - stripDir "$prefix/$d" "$commonStripFlags" "$stripFlags" + stripDir "$prefix/$d" "$stripFlags" fi done }