diff options
| author | DJ Delorie <dj@delorie.com> | 2002-05-31 19:30:32 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@delorie.com> | 2002-05-31 19:30:32 +0000 |
| commit | 85772572cc1bedcfe358d99006f4c090aa76f488 (patch) | |
| tree | 6b8ea8230714cdaed4ed9fa73a76273e91218f7a /configure | |
| parent | 684e46427aef5fd474e343a2e41d4667dc61a814 (diff) | |
| download | gdb-85772572cc1bedcfe358d99006f4c090aa76f488.tar.gz | |
* config-ml.in: Propogate DESTDIR also.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions