diff options
author | Griffin Smith <grfn@gws.fyi> | 2020-09-06T21·44-0400 |
---|---|---|
committer | glittershark <grfn@gws.fyi> | 2020-09-06T22·21+0000 |
commit | 2ca20da43faf90bf301ea5d2cbaaae62305b395c (patch) | |
tree | 277937a30cfac5b2963871985649bc81695b8ffe /third_party/git/.github | |
parent | 8f4d89e429b58a78a3052d03715dd9fc867474d2 (diff) |
chore(tvix): dontStrip tvix build r/1771
This is mostly to help in tracing through the core dumps for b/58, but is also generally a good idea while we're still in hardcore debugging-mode. Fixes: b/63 Change-Id: Ib816a2a98bf3b8afa6e8b255a74ccb93af6508c5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1937 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/git/.github')
0 files changed, 0 insertions, 0 deletions