diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-03-20 20:30:29 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-20 20:30:29 +0000 |
commit | f9349dbfbb0a03c452ca06306fe3d62a9095a7c0 (patch) | |
tree | 775f0798864c434aadca0ace109d4b5da477d996 | |
parent | fa02085f1d98df6c0e67d5eb1b24d1065751a4a9 (diff) |
(vpath %.defs): make that $(includedir)/mach and $(includedir)/device.
-rw-r--r-- | Makeconf | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |