diff options
Diffstat (limited to 'pfinet/Makefile')
| -rw-r--r-- | pfinet/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/Makefile b/pfinet/Makefile index 81e76480..c15321be 100644 --- a/pfinet/Makefile +++ b/pfinet/Makefile @@ -61,7 +61,7 @@ ipv4-srcs := af_inet.c \ LINUXSRCS = $(core-srcs) $(ethernet-srcs) $(ipv4-srcs) $(arch-lib-srcs) SRCS = sched.c timer-emul.c socket.c main.c ethernet.c \ io-ops.c socket-ops.c misc.c time.c options.c loopback.c \ - kmem_cache.c stubs.c + kmem_cache.c stubs.c dummy.c MIGSRCS = ioServer.c socketServer.c startup_notifyServer.c OBJS := $(patsubst %.c,%.o,$(LINUXSRCS) $(SRCS) $(MIGSRCS)) LCLHDRS = config.h mapped-time.h mutations.h pfinet.h |