diff options
author | Martin Mares <mj@ucw.cz> | 2000-04-19 13:54:35 +0000 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2000-04-19 13:54:35 +0000 |
commit | 5f532adde20300ecab63d3e521fb0dfbfb33df2b (patch) | |
tree | d962dfad07984d1a1d0296fa66a94bc4ea7a7656 /tools/config.guess | |
parent | f381cdce5225c0652bf9182ac40a1a54436c9692 (diff) |
Temporarily ignore unknown options.
Diffstat (limited to 'tools/config.guess')
0 files changed, 0 insertions, 0 deletions