diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-06-20 19:06:58 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-20 19:06:58 +0000 |
| commit | 323bbb2208d9eb3909c84e0cbd324d835349119d (patch) | |
| tree | d05f812aad4df44689c531f9ebb4e25964b56a94 | |
| parent | 502a23f7ae66c70436125e0aa5cc7f4c4e29a2bc (diff) | |
Formerly Makefile.~11~
| -rw-r--r-- | proc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proc/Makefile b/proc/Makefile index ef560f21..e59dfec0 100644 --- a/proc/Makefile +++ b/proc/Makefile @@ -41,7 +41,7 @@ proc: $(OBJS) $(link) install: proc $(hurdroot) - cp proc $(hurdroot)/hurd/proc + $(INSTALL_BIN) proc $(hurdroot)/hurd/proc $(OBJS): proc.h proc_S.h notify.o: notify_S.h |