Add stripping to installed extensions

2025-08-05 00:09:03 +00:00 · 2021-10-12 14:01:21 -07:00
parent 1e6fd3bcdf
commit b2c6b85e5a
53 changed files with 318 additions and 0 deletions
--- a/6
+++ b/6
@ -105,6 +105,12 @@ for ext in $exts; do
 	cd "$ext"
 	[ -e Makefile ] || docker-php-ext-configure "$ext"
 	make -j"$j"
+	find modules \
+		-maxdepth 1 \
+		-name '*.so' \
+		-exec sh -euxc ' \
+			strip --strip-all "$@" || :
+		' -- '{}' +
 	make -j"$j" install
 	find modules \
 		-maxdepth 1 \