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

diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk
index 11c5fdc3d0..ca665309ee 100644
--- a/src/language/control/automake.mk
+++ b/src/language/control/automake.mk
@@ -2,8 +2,6 @@
 
 
 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/repeat.c \