diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-10-21 16:40:15 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-10-21 16:40:15 (EDT) |
| commit | d42160e298f920b093ff490a045b42fe1410c598 (patch) | |
| tree | 51a2acf238939cf33d826ce4fcb6b96f7873f6dd /src/oh-strip.sh | |
| parent | 0d7b00a3d4ca81936fa2f998fe00a6718d2d5f23 (diff) | |
Print informational messages in oh-strip.
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}" } |