From: Ben Pfaff <blp@nicira.com>
Date: Wed, 4 Jun 2008 22:57:33 +0000 (-0700)
Subject: Make boot.sh give an error if pkg-config is not installed.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d72ebf26b560c5eb132d594ec7901ceab0dc651;p=openvswitch

Make boot.sh give an error if pkg-config is not installed.
---

diff --git a/configure.ac b/configure.ac
index d22a71bd..eb80441d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -85,6 +85,8 @@ AC_ARG_ENABLE(
   [ssl=false])
 
 if test "$ssl" = true; then
+dnl Make sure that pkg-config is installed.
+m4_pattern_forbid([PKG_CHECK_MODULES])
 PKG_CHECK_MODULES([SSL], [libssl], 
   [HAVE_OPENSSL=yes],
   [HAVE_OPENSSL=no