diff options
| author | Moritz Poldrack <git@moritz.sh> | 2022-06-22 12:11:58 +0200 |
|---|---|---|
| committer | Robin Jarry <robin@jarry.cc> | 2022-06-24 21:08:21 +0200 |
| commit | 4ebeaa5b95c9899f1c9e3ada3a1bcd97c65db8e7 (patch) | |
| tree | d660f0cd71a76758fd12b7a380e7d95348672df4 /.github | |
| parent | 420f236d31da76df9982331c596b776ab3d0dd76 (diff) | |
| download | aerc-4ebeaa5b95c9899f1c9e3ada3a1bcd97c65db8e7.zip | |
mk: strip build dir from stack traces
Add the -trimpath flag to the default build command to remove the user's
path from stack traces.
Use a separate BUILD_OPTS make var to avoid it being accidentally
overridden on the command line.
Signed-off-by: Moritz Poldrack <git@moritz.sh>
Acked-by: Robin Jarry <robin@jarry.cc>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions