summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-04-05 19:38:28 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-04-05 19:38:28 +0000
commitba5b71d436a67be6a35d6c7a98ece82fb2d5bd4a (patch)
treebaa406bddcc06f352affd71bfd2760022b4cc691
parent91d53299a66d3b262293490f7fae4ffcaad08de4 (diff)
Formerly Makefile.~6~
-rw-r--r--proc/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/proc/Makefile b/proc/Makefile
index 10bbf660..83a142a9 100644
--- a/proc/Makefile
+++ b/proc/Makefile
@@ -38,6 +38,9 @@ all: proc
proc: $(OBJS)
$(link)
+install: proc $(hurdroot)
+ cp proc $(hurdroot)/hurd/proc
+
$(OBJS): proc.h proc_S.h
notify.o: notify_S.h
wait.o: process_reply.h msg.h interrupt_S.h