diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-10-12 16:34:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-10-12 16:34:56 +0200 |
| commit | 600803caeeaeae889f0b3020423402bf542f022b (patch) | |
| tree | 6a3a0b0f3b28d760891d83ee18d094c206d228e1 /exportclight | |
| parent | 26ddb90280b45e92d90eead89edb237f2922824a (diff) | |
| download | compcert-kvx-600803caeeaeae889f0b3020423402bf542f022b.tar.gz compcert-kvx-600803caeeaeae889f0b3020423402bf542f022b.zip | |
Remove -version-file option
It is specific to AbsInt's commercial version of CompCert.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions