Makefile: include the figleaf pickle in the uploaded coverage data, for later differe...

diff --git a/Makefile b/Makefile
index 92ced4c647730f16928280bc3c8d953cadef793f..3671ad1f5461300290b0ada5ebaefa7c4215ece2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -146,6 +146,7 @@ $(error COVERAGEDIR must be set when using UPLOAD_TARGET)
 endif
 
 upload-figleaf:
+       cp .figleaf coverage-html/figleaf.pickle
        rsync -a coverage-html/ $(UPLOAD_TARGET)
        ssh $(UPLOAD_HOST) make update-tahoe-figleaf COVERAGEDIR=$(COVERAGEDIR)
 else