diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-05-06 17:56:33 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-06 17:56:33 +0000 |
| commit | 2f7781bd14964bc4b88508a433b406ec27cb6625 (patch) | |
| tree | a9549e39d59ed2f42cae5db4448b9060b22e6919 | |
| parent | 14bb2e6084fff2440b6999e919bd976c09e63675 (diff) | |
Formerly Makefile.~17~
| -rw-r--r-- | boot/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index afc5298f..cbd8996a 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -24,7 +24,7 @@ VPATH=.:../machine OBJS = boot.o notifyServer.o execServer.o deviceServer.o ioServer.o \ io_replUser.o device_replyUser.o sigvec.o -DIST_FILES = boot.c Makefile io_repl.defs ChangeLog +DIST_FILES = boot.c Makefile io_repl.defs ChangeLog sigvec.S all: boot |