X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flanguage%2Fcontrol%2Fautomake.mk;h=11c5fdc3d05a24b462bcef36adff693628608ec9;hb=refs%2Fbuilds%2F20140226030518%2Fpspp;hp=e12813abdbb68eea3a2779f70f4e8a3df28b25f7;hpb=371a340b7b71f9dcd87b8df1cca265d256a471af;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