diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-27 09:05:55 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-27 09:05:55 +0100 |
| commit | fa2230c7fc2b20e29251b6b550b046d0dc75f953 (patch) | |
| tree | a9063ad842755755bc0a32f011c46c66474deb39 /driver/Compopts.v | |
| parent | 35c7398e985c51a765c6bbf08719d9df7c285f9c (diff) | |
| download | compcert-fa2230c7fc2b20e29251b6b550b046d0dc75f953.tar.gz compcert-fa2230c7fc2b20e29251b6b550b046d0dc75f953.zip | |
Added new option -doptions.
The new options dumps the compiler options in a json file per.
This includes the clflags, compcert.ini and machine settings.
Bug 17988.
Diffstat (limited to 'driver/Compopts.v')
0 files changed, 0 insertions, 0 deletions