X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=e03946aa378a5424f53dacaf3c7881d5ba5d874d;hb=26ce31583b1654a3acaaf6de8e9567e327fbc104;hp=492c7bcfe076e5bdb535efe9924b6163c7976563;hpb=3e60856b5427647da2c6300e3c0740c7f8977e54;p=openvswitch

diff --git a/configure.ac b/configure.ac
index 492c7bcf..e03946aa 100644
--- a/configure.ac
+++ b/configure.ac
@@ -67,6 +67,7 @@ OVS_CHECK_VALGRIND
 OVS_CHECK_SOCKET_LIBS
 OVS_CHECK_LINKER_SECTIONS
 OVS_CHECK_XENSERVER_VERSION
+OVS_CHECK_GROFF
 
 OVS_ENABLE_OPTION([-Wall])
 OVS_ENABLE_OPTION([-Wno-sign-compare])