summaryrefslogtreecommitdiff
path: root/proc/Makefile
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-04-07 18:42:19 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-04-07 18:42:19 +0000
commita6d7d26a7f4feef1c1e9fd476a8402d0642cc344 (patch)
tree0aba6241b39cbdeda4be073bc97a30c6c75eb9fb /proc/Makefile
parentaf1cc83a448ccd7e15cfdad94b066297e79606f4 (diff)
Formerly Makefile.~7~
Diffstat (limited to 'proc/Makefile')
-rw-r--r--proc/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/proc/Makefile b/proc/Makefile
index 83a142a9..cb25d9ae 100644
--- a/proc/Makefile
+++ b/proc/Makefile
@@ -81,3 +81,5 @@ msg.h msgUser.c: $(headers)/hurd/msg.defs $(headers)/hurd/hurd_types.defs
clean:
rm -f *.o *Server.c *_S.h *User.c proc process_reply.h \
msg.h proc_exc.h proc_excrepl.h
+relink:
+ rm -f proc