X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fautomake.mk;h=54d95107d94794011bb9f184550f8b10ae55c87b;hb=06c817b718b0d677912acfa55d8191a38d56b739;hp=00fcab373454eec0bfc6735f1adba97328d0fe63;hpb=371a340b7b71f9dcd87b8df1cca265d256a471af;p=pspp

diff --git a/src/language/tests/automake.mk b/src/language/tests/automake.mk
index 00fcab3734..54d95107d9 100644
--- a/src/language/tests/automake.mk
+++ b/src/language/tests/automake.mk
@@ -6,9 +6,13 @@ language_tests_built_sources = \
 language_tests_sources = \
 	src/language/tests/check-model.h \
 	src/language/tests/datasheet-test.c \
+	src/language/tests/datasheet-check.c \
+	src/language/tests/datasheet-check.h \
 	src/language/tests/format-guesser-test.c \
 	src/language/tests/float-format.c \
 	src/language/tests/moments-test.c \
+	src/language/tests/model-checker.c \
+	src/language/tests/model-checker.h \
 	src/language/tests/paper-size.c \
 	src/language/tests/pool-test.c