diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-07 11:44:22 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-21 05:55:40 +0100 |
| commit | 788407b951b162148a2e223da69ff2c16d8d05b4 (patch) | |
| tree | 5699af014504b80d9889df1d9e5371e22b1e6e1a /Makefile | |
| parent | 5ee314b6c1ffd8b090ca6771f0896e080f7000ef (diff) | |
Makeconf: handle the gnumach protocol
* Makeconf (mach_defs_names): Add `gnumach'.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions