X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Fopenvswitch.m4;h=eca6010f5d8988b39630594e2dcf1a4414d9a703;hb=8faa5a21738f4d47c630c24a3bcf177eb34ce705;hp=dca9f5fe716f8111b4f6dc0c8c809746fa68b0c0;hpb=e0edde6fee279cdbbf3c179f5f50adaf0c7c7f1e;p=openvswitch

diff --git a/m4/openvswitch.m4 b/m4/openvswitch.m4
index dca9f5fe..eca6010f 100644
--- a/m4/openvswitch.m4
+++ b/m4/openvswitch.m4
@@ -22,7 +22,7 @@ AC_DEFUN([OVS_CHECK_COVERAGE],
      [AC_HELP_STRING([--enable-coverage], 
                      [Enable gcov coverage tool.])],
      [case "${enableval}" in
-        (lcov|yes) coverage=true ;;
+        (yes) coverage=true ;;
         (no)  coverage=false ;;
         (*) AC_MSG_ERROR([bad value ${enableval} for --enable-coverage]) ;;
       esac],