X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=2128c64c78546f2cbb28ccc6c2e0a199e9d5bb76;hb=3c34dd48afdb134f74099c5b84fe5bdc33656023;hp=ba0aa2e9c627e70f12d66eeed6a18e16c8748552;hpb=b9b0865ac2b92e3aa0db70bccbddb3b943f7ea20;p=openvswitch

diff --git a/configure.ac b/configure.ac
index ba0aa2e9..2128c64c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -39,6 +39,7 @@ AC_C_BIGENDIAN
 AC_SYS_LARGEFILE
 
 AC_SEARCH_LIBS([pow], [m])
+AC_SEARCH_LIBS([clock_gettime], [rt])
 
 OVS_CHECK_COVERAGE
 OVS_CHECK_NDEBUG