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