diff options
-rw-r--r-- | viengoos/ChangeLog | 1 | ||||
-rw-r--r-- | viengoos/Makefile.am | 3 |
2 files changed, 2 insertions, 2 deletions
diff --git a/viengoos/ChangeLog b/viengoos/ChangeLog index e827041..d1c9b34 100644 --- a/viengoos/ChangeLog +++ b/viengoos/ChangeLog @@ -2,6 +2,7 @@ * profile.h: Move to ../libc-parts. * profile.c: Likewise. + * Makefile.am (viengoos_SOURCES): Remove profile.h and profile.c. * ager.c: Don't include "profile.h" but <profile.h>. (update_stats): Replace use of profile_start and profile_end with profile_region and profile_region_end. diff --git a/viengoos/Makefile.am b/viengoos/Makefile.am index cd235c0..bb97920 100644 --- a/viengoos/Makefile.am +++ b/viengoos/Makefile.am @@ -53,8 +53,7 @@ viengoos_SOURCES = $(ARCH_SOURCES) \ bits.h \ server.h server.c \ pager.h pager.c \ - list.h \ - profile.h profile.c + list.h viengoos_LDADD = \ ../libhurd-btree/libhurd-btree.a \ |