summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-03-20 16:08:56 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-03-20 16:08:56 +0000
commitf226bb375580fe520192d6fbc0daa8e4cfecefd0 (patch)
treefde2153408f38555c0dcb7e0c55a345baaab6ea0
parent4ec1d7eec0564c3e37b1423691c5474c4a7df1ef (diff)
(MIGSTUBS): Delete interruptServer.o.
-rw-r--r--proc/Makefile2
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)" \