X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Fautomake.mk;h=38ecf683644e50e40ed01252fe6d594fe3b4b5cf;hb=60c545e6e958d868db3399a8989d37d8f9e0c131;hp=9d09687c81e38330552f5f23c5d6f3b01385edf4;hpb=339f1956cc727eda788638644ef93ab7852b31cd;p=pspp

diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk
index 9d09687c81..38ecf68364 100644
--- a/src/language/control/automake.mk
+++ b/src/language/control/automake.mk
@@ -18,8 +18,6 @@
 
 
 language_control_sources = \
-	src/language/control/control-stack.c \
-	src/language/control/control-stack.h \
 	src/language/control/define.c \
 	src/language/control/do-if.c \
 	src/language/control/loop.c \