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

diff --git a/src/data/automake.mk b/src/data/automake.mk
index 0b9ab88544..54fddf0516 100644
--- a/src/data/automake.mk
+++ b/src/data/automake.mk
@@ -13,6 +13,7 @@ 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 \