From e6c566ac7612aa357e065cbb0a7b0099f733a20b Mon Sep 17 00:00:00 2001 From: Nikos Mavrogiannopoulos Date: Fri, 29 Apr 2016 16:11:33 +0200 Subject: [PATCH] doc update --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index e1dd1e30..d41201c0 100644 --- a/README.md +++ b/README.md @@ -70,6 +70,8 @@ $ ./configure --enable-code-coverage $ make && make check && make code-coverage-capture ``` +Note that the code coverage reported does not currently include tests which +are run within docker. In addition to the prerequisites listed above, building from git requires the following packages: autoconf, automake, autogen, git2cl, and xz.