summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-05-06 17:56:33 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-05-06 17:56:33 +0000
commit2f7781bd14964bc4b88508a433b406ec27cb6625 (patch)
treea9549e39d59ed2f42cae5db4448b9060b22e6919
parent14bb2e6084fff2440b6999e919bd976c09e63675 (diff)
Formerly Makefile.~17~
-rw-r--r--boot/Makefile2
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