X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fautomake.mk;h=e1915b283f666bc45dfadb3edc19c3b68131f920;hb=87b30887d6b08f4bfe92e0474f5f38cc4bf1acfa;hp=f2d56bad2d337d64eb523444064c54c163492c7c;hpb=3e15bceda1caf57a898ed98e147a6bc176d8b1fb;p=pspp

diff --git a/src/ui/automake.mk b/src/ui/automake.mk
index f2d56bad2d..e1915b283f 100644
--- a/src/ui/automake.mk
+++ b/src/ui/automake.mk
@@ -10,6 +10,4 @@ noinst_LIBRARIES += src/ui/libuicommon.a
 
 src_ui_libuicommon_a_SOURCES = \
 	src/ui/debugger.c \
-	src/ui/debugger.h \
-	src/ui/flexifile.c \
-	src/ui/flexifile.h
+	src/ui/debugger.h