diff options
Diffstat (limited to 'libdiskfs')
-rw-r--r-- | libdiskfs/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libdiskfs/Makefile b/libdiskfs/Makefile index c50db8dc..b5bfe56b 100644 --- a/libdiskfs/Makefile +++ b/libdiskfs/Makefile @@ -53,6 +53,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 ourmsgUser.o ifsockServer.o +notify-MIGSFLAGS = -DSEQNOS OBJS = $(sort $(subst .c,.o,$(SRCS)) $(MIGSTUBS)) |