X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=31cab8ab197b0cd7cc5dc0531550fa7a961c7ca1;hb=4c4d10b13fc01f6d785dc35dc2f789dab9c8ced9;hp=0a6beae9bcba98f71e3cb3250779ae6f8766b59e;hpb=fe55ad159d8fd396a9e4914a03eea93d096d03b1;p=openvswitch

diff --git a/lib/automake.mk b/lib/automake.mk
index 0a6beae9..31cab8ab 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -43,8 +43,6 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/dynamic-string.h \
 	lib/fatal-signal.c \
 	lib/fatal-signal.h \
-	lib/fault.c \
-	lib/fault.h \
 	lib/flow.c \
 	lib/flow.h \
 	lib/hash.c \