X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=92d5ac03031104a8b25b9c15523471f80738d17b;hb=b4182c7f2d25110c2edaf96d33dd081257fa253b;hp=300b21e2cdb6d1506c7e7ea36c562984c47a9063;hpb=7c9e113b712e72fcb4ccc6075da7334cb3391059;p=openvswitch

diff --git a/configure.ac b/configure.ac
index 300b21e2..92d5ac03 100644
--- a/configure.ac
+++ b/configure.ac
@@ -38,6 +38,8 @@ AC_USE_SYSTEM_EXTENSIONS
 AC_C_BIGENDIAN
 AC_SYS_LARGEFILE
 
+AC_SEARCH_LIBS([pow], [m])
+
 OVS_CHECK_COVERAGE
 OVS_CHECK_NDEBUG
 OVS_CHECK_NETLINK
@@ -56,7 +58,6 @@ OVS_CHECK_MALLOC_HOOKS
 OVS_CHECK_VALGRIND
 OVS_CHECK_TTY_LOCK_DIR
 OVS_CHECK_SOCKET_LIBS
-OVS_CHECK_FAULT_LIBS
 
 AC_CHECK_FUNCS([strsignal])