X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=92d5ac03031104a8b25b9c15523471f80738d17b;hb=56244b81016f4d60082976845f296f98111d16a3;hp=a94ff93cadc1c560015c2368d276d373737d6f6f;hpb=58fda1dab104041fc693032475ec4662c1a52849;p=openvswitch

diff --git a/configure.ac b/configure.ac
index a94ff93c..92d5ac03 100644
--- a/configure.ac
+++ b/configure.ac
@@ -58,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])