diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1993-11-04 05:06:14 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1993-11-04 05:06:14 +0000 |
| commit | 71910a66141f95a90360d8dfce730411769cfeee (patch) | |
| tree | 6b492b3c3fea0c010f0896f78d23bbef037c7074 | |
| parent | d7d6835d9314719a64d4e62f2fc1ee797838de6a (diff) | |
Formerly Makefile.~3~
| -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 |