diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-23 18:40:56 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-23 18:40:56 +0200 |
commit | 1a52f581eb9cc52e5c1862c7e73253016109e1fc (patch) | |
tree | ec4fd781aa06fc80c0c00a9a0f4cc2190c99177f /runtime/riscV/sysdeps.h | |
parent | bb5dab84859088d70074444cfbf0e51f14e3c782 (diff) | |
download | compcert-1a52f581eb9cc52e5c1862c7e73253016109e1fc.tar.gz compcert-1a52f581eb9cc52e5c1862c7e73253016109e1fc.zip |
Remove `-version-file` option from option summary
The `-version-file` option was removed in commit 600803cae, but remained
in the option summary, as reported in #386.
Diffstat (limited to 'runtime/riscV/sysdeps.h')
0 files changed, 0 insertions, 0 deletions