From 83cab2c5161cdca75f5b9062fefadd5e0b7679a4 Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Sat, 1 Dec 2018 12:34:25 +0100
Subject: [PATCH] Try to use hydra-build-products

---
 default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index cefb681baca..72ad9fc6251 100644
--- a/default.nix
+++ b/default.nix
@@ -179,7 +179,9 @@ rec {
 
     installPhase = ''
       mkdir -p $out
-      mv test/coverage/* $out/
+      mv test/coverage/ $out/
+      mkdir -p $out/nix-support
+      echo "report coverage $out/coverage index.html" >> $out/nix-support/hydra-build-products
     '';
   };