Make the Linux/Android stripping step more thorough

livecodefraser · livecodefraser · commit de375a9a0137 · 2015-05-01T11:49:17.000+01:00
diff --git a/tools/extract-debug-symbols.sh b/tools/extract-debug-symbols.sh
@@ -18,9 +18,9 @@ for input in $inputs ; do
 	# If this file is a dynamic library, don't do a full strip or we'll
 	# destroy it (no symbols => can't link to it)
 	if [[ "$(objdump -f $input)" =~ "DYNAMIC" ]] ; then
-		$STRIP --preserve-dates --strip-debug "$input"
+		$STRIP -x --preserve-dates --strip-debug "$input"
 	else
-		$STRIP --preserve-dates --strip-debug --strip-unneeded "$input"
+		$STRIP -x --preserve-dates --strip-debug --strip-unneeded "$input"
 	fi
 	
 	# Add a hint for the debugger so it can find the debug info
