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 | |
| parent | 7c5ad38ffd4cdfcc24fe196a30bd89e1a6de3a04 (diff) | |
Formerly Makefile.~21~
| -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 \ |