diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-08-18 22:35:12 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-08-18 22:35:12 +0000 |
| commit | d84e2a7cf2d9cbe096f06b85e21dd24b6f19e61c (patch) | |
| tree | a604b26d8098377f9725a486d61c1b552e2d4198 | |
| parent | 72def196f5afd8be357a13380c18b976d0c37b0c (diff) | |
Formerly Makefile.~31~
| -rw-r--r-- | boot/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index ff764516..db050dab 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -27,9 +27,11 @@ io-MIGSFLAGS=-DREPLY_PORTS include ../Makeconf +CPPFLAGS += -DDEFAULT_BOOTDEVICE=\"$(notdir $(hurdrootdev))\" + install: /usr/local/bin/boot -/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 \ |