Add general-purpose timer to GUI

[emu8051.git] / src / gtk / Makefile.am

diff --git a/src/gtk/Makefile.am b/src/gtk/Makefile.am
index 6db03db..980609b 100644 (file)
--- a/src/gtk/Makefile.am
+++ b/src/gtk/Makefile.am
@@ -27,6 +27,7 @@ emu8051_gtk_SOURCES = \
     pgmwin.c pgmwin.h \
     regwin.c regwin.h \
     pswwin.c pswwin.h \
+    timerwin.c timerwin.h \
     filemenu.c filemenu.h \
     viewmenu.c viewmenu.h \
     helpmenu.c helpmenu.h \