Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
separateDebugInfo: Use --strip-unneeded
According to https://stackoverflow.com/q/46197810/115030, --only-keep-debug preserves all the information stripped by --strip-unneeded. This reduces the size of the webkitgtk output by 22% (123 MB → 96 MB). Inspired by #159612. Signed-off-by: Anders Kaseorg <andersk@mit.edu>
- Loading branch information