Now it is controlled by Kconfig.

Signed-off-by: Wei Liu <wei.l...@citrix.com>
---
Cc: Andrew Cooper <andrew.coop...@citrix.com>
Cc: George Dunlap <george.dun...@eu.citrix.com>
Cc: Ian Jackson <ian.jack...@eu.citrix.com>
Cc: Jan Beulich <jbeul...@suse.com>
Cc: Konrad Rzeszutek Wilk <konrad.w...@oracle.com>
Cc: Stefano Stabellini <sstabell...@kernel.org>
Cc: Tim Deegan <t...@xen.org>
Cc: Wei Liu <wei.l...@citrix.com>
---
 INSTALL | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/INSTALL b/INSTALL
index 9759354..b8d2ea4 100644
--- a/INSTALL
+++ b/INSTALL
@@ -280,9 +280,6 @@ This option is enabled by default if XSM is enabled and the 
compiler
 using the environment variable.
 CHECKPOLICY=
 
-Do a build for coverage.
-coverage=y
-
 Use clang instead of GCC.
 clang=y
 
-- 
2.1.4


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to