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

diff --git a/src/data/automake.mk b/src/data/automake.mk
index 2084e4f6..d79828b7 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 \