diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-05-02 20:45:42 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-02 20:45:42 +0000 |
| commit | 50e0f49ae0b8dba706f77268622a70596f0b4b71 (patch) | |
| tree | e3b62b6f292969ead678c743ecb92ceaf8518570 /boot | |
| parent | 497eeca20ae7d926124d5d5def51c470a24e0e75 (diff) | |
Formerly Makefile.~13~
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index 07a101a1..798ae417 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 mungio io_repl.defs +DIST_FILES = boot.c Makefile mungio io_repl.defs ChangeLog all: boot |