X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Fopenvswitch.m4;h=e9edc4902311f69b2dbee048339622d38deae78c;hb=be86ea7aa98b87079e266c91d139612fa8543edd;hp=73db4bbaf50109558b2d1afe312e4b5a56468084;hpb=b2fda3effc787f265b5ad5dfa967ac00627bd075;p=openvswitch

diff --git a/m4/openvswitch.m4 b/m4/openvswitch.m4
index 73db4bba..e9edc490 100644
--- a/m4/openvswitch.m4
+++ b/m4/openvswitch.m4
@@ -92,8 +92,7 @@ AC_DEFUN([OVS_CHECK_OPENSSL],
      [ssl=check])
 
    if test "$ssl" != false; then
-       dnl Make sure that pkg-config is installed.
-       m4_pattern_forbid([PKG_CHECK_MODULES])
+       m4_ifndef([PKG_CHECK_MODULES], [m4_fatal([Please install pkg-config.])])
        PKG_CHECK_MODULES([SSL], [openssl], 
          [HAVE_OPENSSL=yes],
          [HAVE_OPENSSL=no