diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-01-21 14:47:41 (EST) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-01-21 14:47:41 (EST) |
| commit | ccd620cc4df4b302e384459636bdd5613f42d9ad (patch) | |
| tree | f7f26028781799d509ed3df661e255379791e88e /src | |
| parent | 8a34d4ef11a893ee51fde2c9b2784e414e68710a (diff) | |
Note that oh-strip doesn't seem to work.
Diffstat (limited to 'src')
| -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. |