diff options
| author | Paul Selkirk <paul@psgd.org> | 2015-10-26 17:35:20 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2015-10-26 17:35:20 -0400 |
| commit | 7e46c24361b2a89e42b6888e24c12d46109ffbb2 (patch) | |
| tree | 684a49b4c40b5fdf2e3e15b9a6588c2b83098cee /.gitignore | |
| parent | 18dfadfbc018cb4b6fa79c57b796b5ff51adfadc (diff) | |
Use ${AR} for cross-building.
Regular ar is fine, but this feels cleaner.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions