diff options
| author | Emery Hemingway <ehmry@posteo.net> | 2022-12-15 17:27:51 -0600 |
|---|---|---|
| committer | Emery Hemingway <ehmry@posteo.net> | 2022-12-22 12:24:15 -0600 |
| commit | 80b7f0165de1781924e0280967df5776bff703ec (patch) | |
| tree | 3fa1f9292ae82a0ae2587576bafefa9745e86611 /pkgs/os-specific/solo5 | |
| parent | 3f6ffe59775694adafad4b33026a20ed681b4a99 (diff) | |
solo5: retain debugging info
Diffstat (limited to 'pkgs/os-specific/solo5')
| -rw-r--r-- | pkgs/os-specific/solo5/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/os-specific/solo5/default.nix b/pkgs/os-specific/solo5/default.nix index 87e992555548a..08c9f223ef79f 100644 --- a/pkgs/os-specific/solo5/default.nix +++ b/pkgs/os-specific/solo5/default.nix @@ -34,6 +34,9 @@ in stdenv.mkDerivation { enableParallelBuilding = true; + separateDebugInfo = true; + # debugging requires information for both the unikernel and the tender + installPhase = '' runHook preInstall export DESTDIR=$out |