diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-31 19:24:49 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-31 19:24:49 +0000 |
| commit | 09bac4a66f59414065ab56a1dd6aa12af3c1b758 (patch) | |
| tree | 0d3a1af67aba051defa49c2d1eb66168d3d7b1bd /benchmarks | |
| parent | b245bd1420e8f75dfa3e89c566c7f36023730b62 (diff) | |
(install-tools):
Copy from the right place.
Make the installed install-stripped executable.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions