X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Fautomake.mk;h=3e87e5a0b63d51c8b90aa78dcecb482c7303f587;hb=37d5f592081a2ec8fa461c20c84087e8bf5dc560;hp=4bd14764293ec902ef2de59254f2e36eb8f2a97b;hpb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;p=pspp-builds.git

diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk
index 4bd14764..3e87e5a0 100644
--- a/src/language/control/automake.mk
+++ b/src/language/control/automake.mk
@@ -1,14 +1,12 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
 
-noinst_LIBRARIES += src/language/control/libcontrol.a
-
-src_language_control_libcontrol_a_SOURCES = \
+language_control_sources = \
 	src/language/control/control-stack.c \
 	src/language/control/control-stack.h \
 	src/language/control/do-if.c \
 	src/language/control/loop.c \
-	src/language/control/temporary.c \
 	src/language/control/repeat.c \
-	src/language/control/repeat.h
+	src/language/control/temporary.c
 
+EXTRA_DIST += src/language/control/OChangeLog