diff options
-rw-r--r-- | boot/Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index f492ca39..0db4e684 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -17,11 +17,20 @@ include ../Makeconf -OBJS = boot.o notifyServer.o execServer.o deviceServer.o syscall.o +VPATH=.:../machine + +OBJS = boot.o notifyServer.o execServer.o deviceServer.o syscall.o \ + boot_machdep.o boot: $(OBJS) $(link) +install: boot + cp boot /usr/local/bin/boot + +clean: + rm boot $(OBJS) *_S.h *Server.c + boot.o: notify_S.h exec_S.h device_S.h notify_S.h notifyServer.c: $(headers)/mach/notify.defs |