X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fautomake.mk;h=18b6914801fb058dae2555a6a07358e6db76ff38;hb=de2439d30fccf4a27e2857657f4680ed9237e8ff;hp=5bf786205560555fd29c6cf7278c1ebcc3ab9cc6;hpb=57b436a22d9ae0e395fb2e3ce101c2b5c2e6939e;p=pspp

diff --git a/src/ui/automake.mk b/src/ui/automake.mk
index 5bf7862055..18b6914801 100644
--- a/src/ui/automake.mk
+++ b/src/ui/automake.mk
@@ -9,5 +9,7 @@ endif
 noinst_LIBRARIES += src/ui/libuicommon.a
 
 src_ui_libuicommon_a_SOURCES = \
-	src/ui/flexifile.c \
-	src/ui/flexifile.h
+	src/ui/debugger.c \
+	src/ui/debugger.h \
+	src/ui/syntax-gen.c \
+	src/ui/syntax-gen.h