diff options
| author | Miles Bader <miles@gnu.org> | 1995-04-12 13:13:21 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-04-12 13:13:21 +0000 |
| commit | d8f80a19cd471dfcc2450b91b679a8198c444c4a (patch) | |
| tree | fb071d1be00b1899e5faef37449bc13b3a57322d | |
| parent | f6b26212c0960a78f30d665fc557e7019892dfce (diff) | |
Don't try and install boot.
| -rw-r--r-- | boot/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/boot/Makefile b/boot/Makefile index 9cb2811d..adc0cfc4 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -30,10 +30,10 @@ include ../Makeconf CPPFLAGS += -DDEFAULT_BOOTDEVICE=\"$(notdir $(hurdrootdev))\" -install: /usr/local/bin/boot - -/usr/local/bin/boot: boot - cp boot /usr/local/bin/boot +#install: /usr/local/bin/boot +# +#/usr/local/bin/boot: boot +# cp boot /usr/local/bin/boot boot.o: notify_S.h exec_S.h ourdevice_S.h io_S.h device_reply_U.h \ io_reply_U.h tioctl_S.h term_S.h bootstrap_S.h |