X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Fautomake.mk;h=11c5fdc3d05a24b462bcef36adff693628608ec9;hb=a2f806b656f4f5f0693292a814dc992d5f083b46;hp=e12813abdbb68eea3a2779f70f4e8a3df28b25f7;hpb=7d3713dd11dc0f4c5ce9c62ea512cdea38b4e80d;p=pspp

diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk
index e12813abdb..11c5fdc3d0 100644
--- a/src/language/control/automake.mk
+++ b/src/language/control/automake.mk
@@ -6,8 +6,5 @@ language_control_sources = \
 	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
-
-EXTRA_DIST += src/language/control/OChangeLog
+	src/language/control/temporary.c