diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2017-10-28 12:19:14 -0400 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2017-10-29 08:48:56 +0000 |
| commit | cf24226ed97ba9a76c85383c6c867a10028de39d (patch) | |
| tree | b85dce9ff9341d190972af4d491b26765ac1b413 /src | |
| parent | 64b8fbadb04b479189f2958f43f4a4ca8f6fc7d7 (diff) | |
util/*: don't strip executables
Users can do it if they need it, but we shouldn't force it on them.
Change-Id: I08007d68a79c302d8f3ca4ed0837ee96d8d3eb1e
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/22213
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions