diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-02-02 22:47:23 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:31 +0200 |
| commit | 1cca4fa7a25df17f6054e75d6732a22f65890113 (patch) | |
| tree | 78647648e2dc9f45b2c05a20226758f26fa91061 /Makefile.in | |
| parent | fe6fa0d9061225de3e2dac1debcd7649c8f89b34 (diff) | |
2006-02-02 Thomas Schwinge <tschwinge@gnu.org>
* Makerules.in: Move a comment ...
* Makefile.in: ... here.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index b42f529..d34e009 100644 --- a/Makefile.in +++ b/Makefile.in @@ -238,6 +238,7 @@ other-headers := alloca.h objfiles += memory_object_user_user.o memory_object_default_user.o \ device_reply_user.o memory_object_reply_user.o +# vm_user.o fits the pattern, but is not actually a MiG-related file. users = $(filter-out vm_user.o,$(filter %_user.o,$(objfiles))) # Server stubs |