X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fautomake.mk;h=54fddf05162f20ca2e4d7e5094fde20aa0e108fe;hb=7693a37f77880e38d26af908cdb21710d631ad5a;hp=f623b1f70772e2d016a4e7409089302f98038f55;hpb=687adf53eae434e88a47bb3409f946f3a26115a4;p=pspp

diff --git a/src/data/automake.mk b/src/data/automake.mk
index f623b1f707..54fddf0516 100644
--- a/src/data/automake.mk
+++ b/src/data/automake.mk
@@ -13,10 +13,12 @@ src_data_libdata_a_SOURCES = \
 	src/data/case-source.c \
 	src/data/case-source.h \
 	src/data/case.c \
+	src/data/casedeque.h \
 	src/data/casefilter.c \
 	src/data/casefilter.h \
 	src/data/casefile.h \
 	src/data/casefile.c \
+	src/data/casefile-factory.h \
 	src/data/casefile-private.h \
 	src/data/fastfile.c \
 	src/data/fastfile.h \