From 9c3ea26ea640589d13079dd520b4318b295d4ba8 Mon Sep 17 00:00:00 2001 From: Olivier Date: Sun, 13 Aug 2023 18:31:24 +0100 Subject: [PATCH] nix flake: Don't strip debug symbols --- flake.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/flake.nix b/flake.nix index 08c8695..ca95af0 100644 --- a/flake.nix +++ b/flake.nix @@ -56,6 +56,10 @@ bash dev_db.sh popd ''; + + # Temporary, whilst we still need to occasionally rely on a debugger: + # don't strip debug symbols, at the cost of a much larger binary! + dontStrip = true; }; buildInputs = with pkgs; [