X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fautomake.mk;h=d79828b763f3d110c21d892872fc9e480c986c2f;hb=ea37b218562bd9c02c23d2669c70b2509e0588ea;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 \