summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-03-20 20:30:29 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-03-20 20:30:29 +0000
commitf9349dbfbb0a03c452ca06306fe3d62a9095a7c0 (patch)
tree775f0798864c434aadca0ace109d4b5da477d996
parentfa02085f1d98df6c0e67d5eb1b24d1065751a4a9 (diff)
(vpath %.defs): make that $(includedir)/mach and $(includedir)/device.
-rw-r--r--Makeconf2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makeconf b/Makeconf
index 5274c160..38faa76b 100644
--- a/Makeconf
+++ b/Makeconf
@@ -265,7 +265,7 @@ relink:
# Where to find .defs files.
-vpath %.defs $(top_srcdir)/hurd $(includedir)
+vpath %.defs $(top_srcdir)/hurd $(includedir)/mach $(includedir)/device
FORCE: