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; [