diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-09 10:55:44 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-09 10:55:44 +0200 |
| commit | 72be849e2a9bbe7e8a8438bf561c5a677a35c9e0 (patch) | |
| tree | 5c347131392efd7db2b3db9566ba712a660cd3f8 /configure | |
| parent | a00de29bc143e758ed034018c3c528e873b9b3da (diff) | |
| download | compcert-kvx-72be849e2a9bbe7e8a8438bf561c5a677a35c9e0.tar.gz compcert-kvx-72be849e2a9bbe7e8a8438bf561c5a677a35c9e0.zip | |
No trailing commas for --version-file option.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions