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 /boot/Makefile | |
parent | 43dc72ede46114998a5bedb947823030cd415177 (diff) |
Formerly Makefile.~4~
Diffstat (limited to 'boot/Makefile')
-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) |