better stripping command

tito · tito · commit a2d6223d24f5 · 2012-01-11T20:36:46.000+01:00
diff --git a/distribute.sh b/distribute.sh
@@ -509,7 +509,7 @@ function run_distribute() {
 
 	debug "Strip libraries"
 	push_arm
-	try find "$DIST_PATH"/private "$DIST_PATH"/libs | grep -E "*\.so$" | xargs $STRIP
+	try find "$DIST_PATH"/private "$DIST_PATH"/libs -iname '*.so' -exec $STRIP {} \;
 	pop_arm
 
 }

Original file line number	Diff line number	Diff line change
`@@ -509,7 +509,7 @@ function run_distribute() {`
`509`	`509`
`510`	`510`	`debug "Strip libraries"`
`511`	`511`	`push_arm`
`512`		`- try find "$DIST_PATH"/private "$DIST_PATH"/libs \| grep -E "*\.so$" \| xargs $STRIP`
	`512`	`+ try find "$DIST_PATH"/private "$DIST_PATH"/libs -iname '*.so' -exec $STRIP {} \;`
`513`	`513`	`pop_arm`
`514`	`514`
`515`	`515`	`}`