summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-04-07 18:40:12 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-04-07 18:40:12 +0000
commitb8bae5235b4ce3859be63e4892d6cb0b4afa00d0 (patch)
tree76935419bda3dfa12ae5d24bcedbb623cb05e5bc
parent7c5ad38ffd4cdfcc24fe196a30bd89e1a6de3a04 (diff)
Formerly Makefile.~21~
-rw-r--r--exec/Makefile2
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 \