diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-17 10:24:59 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-17 10:24:59 +0100 |
commit | 4a2fed6f5e11799fabcb6fb38153e09af6f10d64 (patch) | |
tree | 605f20b2d3dc0039d10865c0e92a311b81c5f5bb /flocq | |
parent | 879ba4632717690cb3fbf0010b038fe6dc3c231e (diff) | |
download | compcert-kvx-4a2fed6f5e11799fabcb6fb38153e09af6f10d64.tar.gz compcert-kvx-4a2fed6f5e11799fabcb6fb38153e09af6f10d64.zip |
Added missing help and common options.
Clightgen also now has command line flags to control warnings as
well as some other general options.
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions