diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-11-11 17:28:05 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:55 +0200 |
| commit | 405015d2d717999fb9ef543f304a42a5435a67c1 (patch) | |
| tree | b39a2adadec86d61774d13e5f083750b2afc2827 /configure | |
| parent | 8e8d9ca01fc40a2bb3b96d560f030948d1596d03 (diff) | |
2006-11-11 Thomas Schwinge <tschwinge@gnu.org>
* Makefile.am (gnumach-undef-bad): Depend on the Makefile.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions