diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-03-15 15:30:04 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:36 +0200 |
| commit | 221462ec2368d7bc85a90d8e07ccdc3a226c8865 (patch) | |
| tree | c0015516401b63559b66752d1333f8eb5093ad2a /include | |
| parent | 67936c0c2e89cae378c7fb36c340c5a7fc33c13a (diff) | |
2006-03-15 Thomas Schwinge <tschwinge@gnu.org
* configure.in: Check for strip and gzip.
* configure: Regenerated.
* Makerules.in (GZIP, STRIP): New variables.
(%.gz, %.stripped): New targets.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions