diff options
| author | sterni <sternenseemann@systemli.org> | 2022-05-19T08·48+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-05-19T09·23+0000 |
| commit | c85291c602ac666421627d6934ebc6d5be1b93e1 (patch) | |
| tree | 5dc4e83e82d49bdc030834d62079fa779489393c /third_party | |
| parent | df4a4c4a52033e2cecee5b92195bda02cbedc636 (diff) | |
chore(3p/cgit): strip debug symbols on the cgit cgi script r/4097
This saves 10MB which seems useful for a CGI binary that is started a lot. Change-Id: I9536955d3962647a3fce2821bbdc4c3826fb4a91 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5639 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party')
| -rw-r--r-- | third_party/cgit/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/third_party/cgit/default.nix b/third_party/cgit/default.nix index c82b862ae636..c783bda16ed2 100644 --- a/third_party/cgit/default.nix +++ b/third_party/cgit/default.nix @@ -34,6 +34,8 @@ stdenv.mkDerivation rec { cat tvl-extra.css >> cgit.css ''; + stripDebugList = [ "cgit" ]; + # We don't use the filters and they require wrapping to find their deps postInstall = '' rm -rf "$out/lib/cgit/filters" |