Makefile: add an upload-figleaf target, rather than having the buildbot create the...

diff --git a/Makefile b/Makefile
index fdbdbb21454f5141e2b6e222e7d1696d1f31ffd7..1bd5f638d9c48eae636ce53923d63e16223e5714 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -64,6 +64,16 @@ figleaf-output:
 # after doing test-figleaf and figleaf-output, point your browser at
 # coverage-html/index.html
 
+# this command is meant to be run with an
+ifdef UPLOAD_TARGET
+upload-figleaf:
+       rsync -a coverage-html/ $(UPLOAD_TARGET)
+else
+upload-figleaf:
+       echo "this target is meant to be run with UPLOAD_TARGET=host:/path/"
+       /bin/false
+endif
+
 .figleaf.el: .figleaf
        $(PP) $(PYTHON) misc/figleaf2el.py .figleaf $(INSTDIR)