diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-05-02 20:45:54 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-02 20:45:54 +0000 |
commit | 86543e7764a81a4d1cab1170ab5644bb1305f999 (patch) | |
tree | ca6e3bb1415367e0e601750877cfd37989b2a727 | |
parent | 50e0f49ae0b8dba706f77268622a70596f0b4b71 (diff) |
Formerly Makefile.~23~
-rw-r--r-- | exec/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/exec/Makefile b/exec/Makefile index 7f0213cd..1fffc398 100644 --- a/exec/Makefile +++ b/exec/Makefile @@ -23,7 +23,8 @@ VPATH=.:../machine CFLAGS := $(CFLAGS) -Dinline= -DA_OUT_H=\"./a.out.h\" -DIST_FILES = Makefile exec.c hostarch.c core.c gcore.c hashexec.c a.out.h +DIST_FILES = Makefile exec.c hostarch.c core.c gcore.c hashexec.c a.out.h \ + ChangeLog OBJS = hostarch.o exec.o execServer.o fsysServer.o notifyServer.o all: exec |