diff --git a/INSTALL b/INSTALL
index 975935401c..b8d2ea4303 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