diff options
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/boot/Makefile b/boot/Makefile index 2d52f3ff..0afdb43b 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -37,6 +37,8 @@ include ../Makeconf #/usr/local/bin/uxboot: uxboot # cp $< $@ +MIGSFLAGS = -DHURD_DEFAULT_PAYLOAD_TO_PORT=1 + all: boot # uxboot uxboot.o: boot.c |