diff options
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 |