diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-03-24 19:03:30 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-24 19:03:30 +0000 |
commit | 3c07c38ddfda2a932b63703ca06a14994783ba9d (patch) | |
tree | bbfa544e0a22c8036bb25216bf07b01ae669854a /proc/Makefile | |
parent | 000c0edc0de87ae0bc630557cd511ef4592a4de7 (diff) |
Formerly Makefile.~4~
Diffstat (limited to 'proc/Makefile')
-rw-r--r-- | proc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/proc/Makefile b/proc/Makefile index 068ec235..6418883f 100644 --- a/proc/Makefile +++ b/proc/Makefile @@ -76,5 +76,5 @@ msg.h msgUser.c: $(headers)/hurd/msg.defs $(headers)/hurd/hurd_types.defs | $(MIGCOM) -prefix nowait_ -server /dev/null clean: - rm -f *.o *Server.c notify_S.h proc_S.h proc process_reply.h \ - process_replyUser.c msg.h msgUser.c + rm -f *.o *Server.c *_S.h *User.c proc process_reply.h \ + msg.h proc_exc.h proc_excrepl.h |