X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fautomake.mk;h=9b3f67a2cf34d187d9c08735cc37d5275252f230;hb=eb72e2843fa902b185680a756e79e91b68caea49;hp=28e37d5c5875531cfb45d0f34e87d23de090e214;hpb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;p=pspp

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