diff options
| author |   Chris Packham <judge.packham@gmail.com> | 2019-09-14 10:17:28 (GMT) |
|---|---|---|
| committer | Chris Packham <judge.packham@gmail.com> | 2019-09-14 10:21:11 (GMT) |
| commit | 8ad4a8b83f3de8b7b283a845c5744147ba819c9d (patch) | |
| tree | bceb5658aa6313fa06b374b75f4c4123ac161602 /config | |
| parent | afaf7b9a25b5d77991002936be5c47fc5ff549de (diff) | |
build/internals.sh: Handle pie executables
Fixes: #887
On some systems the file command identifies a pie executable as a shared
object. Update do_finish() to handle this case so that they are stripped
as well.
Signed-off-by: Chris Packham <judge.packham@gmail.com>
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions