aboutsummaryrefslogtreecommitdiff
path: root/boot/Makefile
diff options
context:
space:
mode:
authorThomas Bushnell <thomas@gnu.org>1996-08-12 18:31:04 +0000
committerThomas Bushnell <thomas@gnu.org>1996-08-12 18:31:04 +0000
commit9474c6318ad2effa3e80246d1012cb111e726bf0 (patch)
treeb1f5dbfbd38913dcc4ebf721f81443472937dec0 /boot/Makefile
parent4b4fc640461f0f6e152204deda38a4e9272fe9e1 (diff)
downloadhurd-9474c6318ad2effa3e80246d1012cb111e726bf0.tar.gz
hurd-9474c6318ad2effa3e80246d1012cb111e726bf0.tar.bz2
hurd-9474c6318ad2effa3e80246d1012cb111e726bf0.zip
*** empty log message ***
Diffstat (limited to 'boot/Makefile')
-rw-r--r--boot/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/boot/Makefile b/boot/Makefile
index 30838e5d..a1329b5a 100644
--- a/boot/Makefile
+++ b/boot/Makefile
@@ -36,9 +36,9 @@ include ../Makeconf
#/usr/local/bin/uxboot: uxboot
# cp $< $@
-all: boot uxboot
+all: boot # uxboot
-ourdevice.defs: $(includedir)/device/device.defs
+ourdevice.defs: $(install_includedir)/device/device.defs
sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@
boot: ../libthreads/libthreads.so