X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=configure.ac;h=9bdffeadf0bf1955f4b753060670b582601a2fcb;hb=7cfb9651a2cd446d81fce90ccf77af56d5c0cbc2;hp=b18b25967ab91c0de2a8e7df4b87311162b9c686;hpb=f6eb6b202533ad393b8d1d8e6ae6e502cbf19caf;p=openvswitch

diff --git a/configure.ac b/configure.ac
index b18b2596..9bdffead 100644
--- a/configure.ac
+++ b/configure.ac
@@ -62,6 +62,7 @@ AC_CHECK_HEADERS([mntent.h sys/statvfs.h linux/types.h])
 
 OVS_CHECK_PKIDIR
 OVS_CHECK_RUNDIR
+OVS_CHECK_DBDIR
 OVS_CHECK_BACKTRACE
 OVS_CHECK_MALLOC_HOOKS
 OVS_CHECK_VALGRIND