diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-07-31 03:50:49 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-07-31 03:50:49 +0000 |
commit | b142756a7e66997efe6fccdec2e84725404a0298 (patch) | |
tree | 73cd4e50ab9f99d984c10a94984e41869fb8d8b8 | |
parent | b129ce0d368420f30a2396d89de262b09a4a0eb0 (diff) |
DISTFILES -> DIST_FILES.
-rw-r--r-- | boot/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index e46b3cdd..0f45d179 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -25,7 +25,7 @@ OBJS = mach-crt0.o boot.o notifyServer.o execServer.o ourdeviceServer.o \ HURDLIBS = libthreads target = boot io-MIGSFLAGS=-DREPLY_PORTS -DISTFILES=frank1.ld frankemul.ld +DIST_FILES=frank1.ld frankemul.ld include ../Makeconf |