diff --git a/build_jsvm_inter.sh b/build_jsvm_inter.sh index 905460ebb7331525fbdfbd329df7f8852d94617a..52d2072cc001831c810d0bcda89f684c0517e095 100755 --- a/build_jsvm_inter.sh +++ b/build_jsvm_inter.sh @@ -95,7 +95,7 @@ do_strip() { ${OBJCOPY} -S --remove-section .gdb_index --remove-section .comment \ --keep-symbols=${keep_path} ${debug_path} ${mini_debug_path} - ${STRIP} --strip-all --keep-section=.comment ${binary} + ${STRIP} --strip-all ${binary} xz ${mini_debug_path} ${OBJCOPY} --add-section .gnu_debugdata=${mini_debug_path}.xz ${binary}