X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README-gcov;h=2fe9f3a7cfe119ecad934d895349a82254a144be;hb=refs%2Fheads%2Fof1.1;hp=665a1ec14886d9c3cf164cad3d141fa08eff6486;hpb=d65349ea28bb67a0062a9b4b60ff97538206373b;p=openvswitch

diff --git a/README-gcov b/README-gcov
index 665a1ec1..2fe9f3a7 100644
--- a/README-gcov
+++ b/README-gcov
@@ -15,17 +15,4 @@ code-coverage related options:
   --enable-coverage
   --enable-coverage=yes
 
-    Build with gcov code coverage support, but do not assume that any
-    coverage-related tools are installed and do not add special
-    coverage support to the test suite.
-
-  --enable-coverage=lcov
-
-    Build with gcov code coverage support, as above, but also add
-    support for coverage analysis to the test suite.  Running "make
-    check" will produce a directory "tests/coverage.html" in the build
-    directory with an analysis of the test suite's coverage.
-
-    This setting requires the lcov suite of utilities to be installed.
-    The "lcov" and "genhtml" programs from lcov must be in PATH.  lcov
-    is available at: http://ltp.sourceforge.net/coverage/lcov.php
+    Build with gcov code coverage support.