X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=04834c28a92444a8c640d6bb554ecf92b5aade05;hb=aac19178a43f5ed3367e2d7a7a19ae34fdf56cfb;hp=47d09076e74622ac3d074d754839e5a32081a975;hpb=0e191d8fae33819ce953b0d02e0b2df0cd9b400f;p=openvswitch

diff --git a/configure.ac b/configure.ac
index 47d09076..04834c28 100644
--- a/configure.ac
+++ b/configure.ac
@@ -65,6 +65,7 @@ OVS_CHECK_MALLOC_HOOKS
 OVS_CHECK_VALGRIND
 OVS_CHECK_SOCKET_LIBS
 OVS_CHECK_LINKER_SECTIONS
+OVS_CHECK_XENSERVER_VERSION
 
 OVS_ENABLE_OPTION([-Wall])
 OVS_ENABLE_OPTION([-Wno-sign-compare])