strip_wheel: pass script parameters to the strip command

diff --git a/tools/build/strip_wheel.sh b/tools/build/strip_wheel.sh
index a5ca605c08b71f7c635a5b9c060f03ea82d14134..fc129472bba7b41acf68084f18a94b940af72613 100755 (executable)
--- a/tools/build/strip_wheel.sh
+++ b/tools/build/strip_wheel.sh
@@ -16,9 +16,11 @@ set -euo pipefail
 set -x
 
 wheel=$(realpath "$1")
+shift
+
 tmpdir=$(mktemp -d)
 trap "rm -r ${tmpdir}" EXIT
 
 unzip -d "${tmpdir}" "${wheel}"
-find "${tmpdir}" -name \*.so | xargs strip
+find "${tmpdir}" -name \*.so | xargs strip "$@"
 (cd "${tmpdir}" && zip -fr ${wheel} *)