diff options
Diffstat (limited to 'src/oh-strip.sh')
| -rw-r--r-- | src/oh-strip.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/oh-strip.sh b/src/oh-strip.sh index a7ab1b0..5b8d785 100644 --- a/src/oh-strip.sh +++ b/src/oh-strip.sh @@ -82,6 +82,8 @@ strip_so() file="${1}" debug='' + ob_info "$(ob_get_msg 'strip_so')" "${file}" + if ${keep_debug}; then debug="$(keep_debug "${file}")" fi @@ -99,6 +101,8 @@ strip_exe() file="${1}" debug='' + ob_info "$(ob_get_msg 'strip_exe')" "${file}" + if ${keep_debug}; then debug="$(keep_debug "${file}")" fi @@ -115,6 +119,8 @@ strip_a() { file="${1}" + ob_info "$(ob_get_msg 'strip_a')" "${file}" + ${STRIP} --strip-debug "${dir}/${file}" } |