about summary refs log tree commit diff
path: root/third_party
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2022-05-19T08·48+0200
committerclbot <clbot@tvl.fyi>2022-05-19T09·23+0000
commitc85291c602ac666421627d6934ebc6d5be1b93e1 (patch)
tree5dc4e83e82d49bdc030834d62079fa779489393c /third_party
parentdf4a4c4a52033e2cecee5b92195bda02cbedc636 (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.nix2
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"