diff options
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/boot/Makefile b/boot/Makefile index 37593f68..50266481 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -1,4 +1,4 @@ -# Copyright (C) 1993, 1994, 1995, 1996, 1997 Free Software Foundation, Inc. +# Copyright (C) 1993,94,95,96,97,2001 Free Software Foundation, Inc. # This file is part of the GNU Hurd. # # The GNU Hurd is free software; you can redistribute it and/or modify @@ -40,7 +40,7 @@ include ../Makeconf all: boot # uxboot ourdevice.defs: device.defs - $(CPP) $(CPPFLAGS) -x c $< | sed -e '/out device : device_t/s/device_t/mach_port_send_t/' > $@ + $(CPP) $(CPPFLAGS) -x c $< | sed -e '/out[ ]*device[ ]*:[ ]*device_t/s/device_t/mach_port_send_t/' > $@ uxboot.o: boot.c |