X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Fautomake.mk;h=11c5fdc3d05a24b462bcef36adff693628608ec9;hb=refs%2Fbuilds%2F20140226030518%2Fpspp;hp=89ff7feeb69cafc9659e633ad3d4ea416b5c9181;hpb=92a8c8fc46b9e4619f92b05e4375a09cda6c9247;p=pspp diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk index 89ff7feeb6..11c5fdc3d0 100644 --- a/src/language/control/automake.mk +++ b/src/language/control/automake.mk @@ -6,7 +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 - + src/language/control/temporary.c