diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-27 09:31:45 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-27 09:31:45 +0100 |
commit | 659a1b55f454fc262826e4edf7d938f01ae04263 (patch) | |
tree | a0ce4395e7d8816595662c7f55bcefae62396b12 /driver/Commandline.ml | |
parent | fa2230c7fc2b20e29251b6b550b046d0dc75f953 (diff) | |
download | compcert-659a1b55f454fc262826e4edf7d938f01ae04263.tar.gz compcert-659a1b55f454fc262826e4edf7d938f01ae04263.zip |
Added version and compiler working directory to options dump.
Diffstat (limited to 'driver/Commandline.ml')
0 files changed, 0 insertions, 0 deletions