Hello,
What exactly is memory_object_reply.cli doing in the device/
directory? Wouldn't be more appropriate for it to stay in the vm/
directory?
Here's a simple changelog in case the answers to my questions are
respectively "No Idea." and "Yes.".
2006-03-03 Gianluca Guida <[EMAIL PROTECTED]>
* device/memory_object_reply.cli: Moved to ...
* vm/memory_object_reply.cli: ... here.
* Makefile.in (vm-files): Add memory_object_reply.cli.
--- vanilla/gnumach//Makefile.in 2006-02-20 22:17:23.000000000 +0100
+++ gnumach--gianluca/Makefile.in 2006-03-03 04:19:55.000000000 +0100
@@ -142,7 +145,7 @@
vm-names = debug.c external.c fault.c init.c kern.c map.c \
object.c pageout.c resident.c user.c
vm-files = $(vm-cfiles) memory_object_default.cli memory_object_user.cli \
- memory_object.h pmap.h $(patsubst %,vm_%.h, \
+ memory_object_reply.cli memory_object.h pmap.h $(patsubst %,vm_%.h, \
external fault kern map object page pageout user)
--
It was a type of people I did not know, I found them very strange and
they did not inspire confidence at all. Later I learned that I had been
introduced to electronic engineers.
E. W. Dijkstra
_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd
