summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorP. 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)
commitd42160e298f920b093ff490a045b42fe1410c598 (patch)
tree51a2acf238939cf33d826ce4fcb6b96f7873f6dd /src
parent0d7b00a3d4ca81936fa2f998fe00a6718d2d5f23 (diff)
Print informational messages in oh-strip.
Diffstat (limited to 'src')
-rw-r--r--src/oh-strip.sh6
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}"
}