summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-03-20 20:07:37 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-03-20 20:07:37 +0000
commitf49fea913bb10067687fd1a234df3489c43e30cc (patch)
treee40fd90db02f47498e7af31cc0fad79b92d9de17
parentfab153bfecec15f321f3b271eacd4eb7d1b39d28 (diff)
(vpath %.defs): Add /gd4/hurdinst/include/mach. XXX
-rw-r--r--Makeconf2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makeconf b/Makeconf
index 577e61c4..673c705b 100644
--- a/Makeconf
+++ b/Makeconf
@@ -265,7 +265,7 @@ relink:
# Where to find .defs files.
-vpath %.defs $(top_srcdir)/hurd
+vpath %.defs $(top_srcdir)/hurd /gd4/hurdinst/include/mach
FORCE: