diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:42:19 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:42:19 +0000 |
commit | a6d7d26a7f4feef1c1e9fd476a8402d0642cc344 (patch) | |
tree | 0aba6241b39cbdeda4be073bc97a30c6c75eb9fb /proc/Makefile | |
parent | af1cc83a448ccd7e15cfdad94b066297e79606f4 (diff) |
Formerly Makefile.~7~
Diffstat (limited to 'proc/Makefile')
-rw-r--r-- | proc/Makefile | 2 |
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 |