diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-26 23:24:08 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-26 23:24:08 +0000 |
| commit | 1872f70b3ec2b3d65683c5f6640c4faf95990153 (patch) | |
| tree | f6154e767921a3bac7b1b763c7a202ece08975a6 /libdiskfs/Makefile | |
| parent | 5dedcfe46fdb29b854dcde811d52c44429f5cfda (diff) | |
(MIGSTUBS):
Diffstat (limited to 'libdiskfs/Makefile')
| -rw-r--r-- | libdiskfs/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libdiskfs/Makefile b/libdiskfs/Makefile index f3564e69..8521a585 100644 --- a/libdiskfs/Makefile +++ b/libdiskfs/Makefile @@ -54,6 +54,7 @@ SRCS = $(NOTIFYSRCS) $(OTHERSRCS) $(FSSRCS) $(IOSRCS) $(FSYSSRCS) $(INTSRCS) \ $(IFSOCKSRCS) MIGSTUBS = fsServer.o ioServer.o fsysServer.o notifyServer.o execServer.o \ interruptServer.o fsys_replyUser.o ourfs_notifyUser.o ifsockServer.o + notify-MIGSFLAGS = -DSEQNOS OBJS = $(sort $(subst .c,.o,$(SRCS)) $(MIGSTUBS)) argz.o options.o |