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 /linux/src | |
parent | 8e8d9ca01fc40a2bb3b96d560f030948d1596d03 (diff) |
2006-11-11 Thomas Schwinge <tschwinge@gnu.org>
* Makefile.am (gnumach-undef-bad): Depend on the Makefile.
Diffstat (limited to 'linux/src')
0 files changed, 0 insertions, 0 deletions