diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1997-05-01 19:47:25 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1997-05-01 19:47:25 +0000 |
| commit | cea7916840decffcd3566126a9ddad3f81eb2c5e (patch) | |
| tree | ce539cb9d2bfcf88ac04d327b55a18aa37fb5caf /include/servers | |
| parent | 8ce8c5f627a89c1c386f537c41908191cecb7e73 (diff) | |
Wed Apr 23 13:21:23 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* configure.in (kdb): New --enable option.
* Makefile.in (DEFINES): Add @DEFS@.
* bogus/mach_kdb.h: Make this file zero length; we get MACH_KDB
from configure now.
Diffstat (limited to 'include/servers')
0 files changed, 0 insertions, 0 deletions