X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fautomake.mk;h=d79828b763f3d110c21d892872fc9e480c986c2f;hb=396f0111f30096a7615f4767e10cdff42c03e57d;hp=2084e4f61f66158a7bcb3e33a16b842927c53714;hpb=b0bf9b1b0f727fafac4296a048e3f45db5936f81;p=pspp

diff --git a/src/data/automake.mk b/src/data/automake.mk
index 2084e4f61f..d79828b763 100644
--- a/src/data/automake.mk
+++ b/src/data/automake.mk
@@ -38,6 +38,8 @@ src_data_libdata_a_SOURCES = \
 	src/data/missing-values.h \
 	src/data/make-file.c \
 	src/data/make-file.h \
+	src/data/procedure.c \
+	src/data/procedure.h \
 	src/data/por-file-reader.c \
 	src/data/por-file-reader.h \
 	src/data/por-file-writer.c \