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/Complements.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/Complements.v')
0 files changed, 0 insertions, 0 deletions