diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1993-11-10 20:43:35 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1993-11-10 20:43:35 +0000 |
| commit | 8f69f09a3699190612799024d89aa771f2ebd843 (patch) | |
| tree | 473a8e3a92b2433427ce7f7c9368e0d1c778e14c | |
| parent | 43dc72ede46114998a5bedb947823030cd415177 (diff) | |
Formerly Makefile.~4~
| -rw-r--r-- | boot/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/boot/Makefile b/boot/Makefile index 0db4e684..c4a78945 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -19,8 +19,7 @@ include ../Makeconf VPATH=.:../machine -OBJS = boot.o notifyServer.o execServer.o deviceServer.o syscall.o \ - boot_machdep.o +OBJS = boot.o notifyServer.o execServer.o deviceServer.o boot_machdep.o boot: $(OBJS) $(link) |