diff options
author | Mike Frysinger <vapier@gentoo.org> | 2010-11-18 05:26:51 -0500 |
---|---|---|
committer | Peter Korsgaard <jacmet@sunsite.dk> | 2010-11-18 11:58:19 +0100 |
commit | c4494d72899156cd3204516b5da371c1758efeca (patch) | |
tree | 6786ab29ab9c9d9352c95312759f89a7076546d1 /docs/developer.html | |
parent | 84a6f5342ad51045143e7698b676909a4e8ee431 (diff) |
gdb: drop local stripping in favor of top level
Since the top level takes care of stripping for us, and some file formats
cannot be stripped safely (like FLAT which will error out), simply punt
the manual stripping from the gdb package.
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Acked-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'docs/developer.html')
0 files changed, 0 insertions, 0 deletions