X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fautomake.mk;h=429c770975e98c16999f62e787a5c23e9ff70df1;hb=3380cd42c3831b98b71709a0c1fcb175e3e4a5d9;hp=a5317135d4586c8464c6a443bcb2edae8014e5ca;hpb=f89de8c330e8f82f0e7195c4d35588cfcbdd02fc;p=pspp

diff --git a/src/language/tests/automake.mk b/src/language/tests/automake.mk
index a5317135d4..429c770975 100644
--- a/src/language/tests/automake.mk
+++ b/src/language/tests/automake.mk
@@ -1,9 +1,8 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
-noinst_LIBRARIES += src/language/tests/libtests.a
-
-src_language_tests_libtests_a_SOURCES = \
-	src/language/tests/casefile-test.c \
+language_tests_sources = \
+	src/language/tests/format-guesser-test.c \
+	src/language/tests/float-format.c \
 	src/language/tests/moments-test.c \
-	src/language/tests/pool-test.c \
-	src/language/tests/float-format.c
+	src/language/tests/paper-size.c \
+	src/language/tests/pool-test.c