diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-02-19 12:26:59 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-02-19 12:26:59 +0100 |
commit | 82de90961b79636c8a4989f46cc73ee449441e0f (patch) | |
tree | fc6577339f7c290568212bce367a794bbcf5a504 /release.nix | |
parent | 583d06385de82ab5c7fc77d26cd138d3c6d5f4b5 (diff) |
Add dev output
Necessary since we're now propagating boehm-gc.
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/release.nix b/release.nix index fdf7d0174..211f2b56e 100644 --- a/release.nix +++ b/release.nix @@ -109,6 +109,8 @@ let name = "nix"; src = tarball; + outputs = [ "out" "dev" ]; + buildInputs = buildDeps; propagatedBuildInputs = propagatedDeps; |