diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:40:12 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:40:12 +0000 |
commit | b8bae5235b4ce3859be63e4892d6cb0b4afa00d0 (patch) | |
tree | 76935419bda3dfa12ae5d24bcedbb623cb05e5bc /exec/Makefile | |
parent | 7c5ad38ffd4cdfcc24fe196a30bd89e1a6de3a04 (diff) |
Formerly Makefile.~21~
Diffstat (limited to 'exec/Makefile')
-rw-r--r-- | exec/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/exec/Makefile b/exec/Makefile index e6791951..759c3372 100644 --- a/exec/Makefile +++ b/exec/Makefile @@ -37,6 +37,8 @@ exec.o hostarch.o: a.out.h clean: rm -f *.o exec exec_server.h *_S.h *Server.c +relink: + rm -f exec exec_server.h execServer.c: $(headers)/hurd/exec.defs $(headers)/hurd/hurd_types.defs $(CPP) $(CPPFLAGS) -DSERVERPREFIX=S_ $(headers)/hurd/exec.defs \ |