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 /benchmarks | |
| parent | fa02085f1d98df6c0e67d5eb1b24d1065751a4a9 (diff) | |
(vpath %.defs): make that $(includedir)/mach and $(includedir)/device.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions