diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-29 12:05:37 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-29 12:05:37 +0100 |
| commit | 5920d4c569337b0eb09132f6160d11b9c0c73888 (patch) | |
| tree | f8ce584755d7b04afe1deff0dba3e99679b5bf4d /driver/Driveraux.mli | |
| parent | 7d3440a69c3a344613b11e7fe4b5f20a655d177f (diff) | |
| download | compcert-5920d4c569337b0eb09132f6160d11b9c0c73888.tar.gz compcert-5920d4c569337b0eb09132f6160d11b9c0c73888.zip | |
Share code for common options.
In order to avoid more divergence between the command line options of
clightgen and ccomp the code for the common options, the language support
options, the version string and the general options.
Diffstat (limited to 'driver/Driveraux.mli')
0 files changed, 0 insertions, 0 deletions