diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-20 16:08:56 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-20 16:08:56 +0000 |
| commit | f226bb375580fe520192d6fbc0daa8e4cfecefd0 (patch) | |
| tree | fde2153408f38555c0dcb7e0c55a345baaab6ea0 | |
| parent | 4ec1d7eec0564c3e37b1423691c5474c4a7df1ef (diff) | |
(MIGSTUBS): Delete interruptServer.o.
| -rw-r--r-- | proc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proc/Makefile b/proc/Makefile index ab3ff6ee..e162918d 100644 --- a/proc/Makefile +++ b/proc/Makefile @@ -25,7 +25,7 @@ LCLHDRS = proc.h DIST_FILES = proc_exc.defs ourmsg.defs MIGSTUBS = processServer.o notifyServer.o process_replyUser.o \ - ourmsgUser.o interruptServer.o proc_excUser.o proc_excServer.o + ourmsgUser.o proc_excUser.o proc_excServer.o OBJS = $(SRCS:.c=.o) $(MIGSTUBS) MIGSFLAGS ="-DPROCESS_INTRAN=pstruct_t reqport_find (process_t)" \ |