diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-05-09 07:38:06 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-05-24 15:52:11 +0200 |
| commit | 8c28d0630576de35e739edebc2abe127d18de22a (patch) | |
| tree | 03ceac74e5bf28a4d3bed7167c863ffff9c14a54 /driver/Commandline.ml | |
| parent | daf677cd5738187b30288e65cb89100b629ef5ba (diff) | |
| download | compcert-8c28d0630576de35e739edebc2abe127d18de22a.tar.gz compcert-8c28d0630576de35e739edebc2abe127d18de22a.zip | |
Added version string to Clightgen.
Clightgen now also prints a version string. Also the CompCert version
string is now similar in both modes.
Bug 18768.
Diffstat (limited to 'driver/Commandline.ml')
0 files changed, 0 insertions, 0 deletions