another fixup: stripFlags

This commit is contained in:
Vladimír Čunát 2014-08-23 18:42:33 +02:00
parent 6eb7e42b5b
commit a835b282fe

View File

@ -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
}