diff options
author | Domen Kožar <domen@dev.si> | 2020-05-23 16:39:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-23 16:39:35 +0200 |
commit | 8351d36b214fcd00f4a769e96ebaeb22af41164c (patch) | |
tree | e380160e98055a03b4c6721d6fa8b8d83a33e48e | |
parent | c129e7c8f4846fcc146cfb3e408a75dd73794794 (diff) | |
parent | 6f6bdd63a0f6dae4ab91422645f548837029dee9 (diff) |
Merge pull request #3610 from LnL7/hydra-build-products
fix hydra build products
-rw-r--r-- | release.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/release.nix b/release.nix index 2cc4bb4c0..2a320e1c3 100644 --- a/release.nix +++ b/release.nix @@ -115,17 +115,17 @@ let installFlags = "sysconfdir=$(out)/etc"; + postInstall = '' + mkdir -p $doc/nix-support + echo "doc manual $doc/share/doc/nix/manual" >> $doc/nix-support/hydra-build-products + ''; + doCheck = true; doInstallCheck = true; installCheckFlags = "sysconfdir=$(out)/etc"; separateDebugInfo = true; - - preDist = '' - mkdir -p $doc/nix-support - echo "doc manual $doc/share/doc/nix/manual" >> $doc/nix-support/hydra-build-products - ''; }); |