diff options
| -rw-r--r-- | src/oh-strip | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/oh-strip b/src/oh-strip index 91caa12..ee93485 100644 --- a/src/oh-strip +++ b/src/oh-strip @@ -67,6 +67,8 @@ fi while [ ${#} -gt 0 ]; do printf 'oh-strip: Stripping symbols fom file "%s"...\n' "${1}" + # XXX: For some reason, this doesn't seem to work. + if ${make_dbg_pkg}; then # Copy debugging symbols into a debugging object file and add a GDB link # from the original object file to the debugging object file. |