diff options
| author | Jack Lloyd <[email protected]> | 2018-10-08 08:22:36 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-10-08 08:22:36 -0400 |
| commit | 9b56b18c421805ea03697987d169baf09d536f81 (patch) | |
| tree | b7ce9989c12cb3c8abe56e1ea46da2c4525f9edb /src/lib | |
| parent | b074cb4b554d2e932f4a5be48464f4b2716b3c2c (diff) | |
Make it possible to overwrite options to ar using AR_OPTIONS
No convention for naming of this variable afaict
Mostly useful as an escape hatch when we for whatever reason do the
wrong thing, as in #1702 when used with emconfigure
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions