diff options
author | neal <neal> | 2008-06-20 11:01:57 +0000 |
---|---|---|
committer | neal <neal> | 2008-06-20 11:01:57 +0000 |
commit | c17a5fde1f1c6bf8759949534c0aee79176e3f16 (patch) | |
tree | 431590b62152469a7d049f75873e2bcb9bc38384 /viengoos/Makefile.am | |
parent | d61e9e3acd347ee830dd047e55439950559d8c75 (diff) |
viengoos/
2008-06-20 Neal H. Walfield <neal@gnu.org>
* profile.c: New file.
* profile.h: Likewise.
* Makefile.am (viengoos_SOURCES): Add profile.h and profile.c.
* server.c: Include "profile.h".
(PAGEFAULT_METHOD): Define.
(server_loop): Add profiling code.
libhurd-mm/
2008-06-20 Neal H. Walfield <neal@gnu.org>
* as-lookup.c [RM_INTERN]: Include "../viengoos/profile.h".
(as_lookup_rel): Instrument.
Diffstat (limited to 'viengoos/Makefile.am')
-rw-r--r-- | viengoos/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/viengoos/Makefile.am b/viengoos/Makefile.am index e8d3211..dd88754 100644 --- a/viengoos/Makefile.am +++ b/viengoos/Makefile.am @@ -49,7 +49,8 @@ viengoos_SOURCES = $(ARCH_SOURCES) \ bits.h \ server.h server.c \ pager.h pager.c \ - list.h + list.h \ + profile.h profile.c viengoos_LDADD = \ ../libhurd-btree/libhurd-btree.a \ |