diff options
| author | Guillem Jover <guillem@debian.org> | 2006-01-11 22:22:02 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2006-01-11 22:22:02 +0000 |
| commit | ae9c71e651050d0ffb5f56f787e86ce3e8cce77f (patch) | |
| tree | 9b74e83a2375dc1bdd407542b94feba6a867017d /debian/gnumach-dev.docs | |
| parent | 45faef2722453c583ee8e281a1d903c5324e163c (diff) | |
* Fix build failure with latest make 3.81 beta and the new tab vs. shell
POSIX behaviour.
Thanks to Alfred M. Szmidt <ams@gnu.org>.
Diffstat (limited to 'debian/gnumach-dev.docs')
0 files changed, 0 insertions, 0 deletions