diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-07-14 13:11:03 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-07-14 13:11:03 +0200 |
| commit | 2a78e5fd2f2c70fdd20048b3e23162ad97b2b2b6 (patch) | |
| tree | da5f5ddcff874828df008a02a1ec7e40c7d60244 /cfrontend/Cexec.v | |
| parent | b75e44331c506bfc51bc9283f686c116ac85f60d (diff) | |
| download | compcert-kvx-2a78e5fd2f2c70fdd20048b3e23162ad97b2b2b6.tar.gz compcert-kvx-2a78e5fd2f2c70fdd20048b3e23162ad97b2b2b6.zip | |
No verbose debug info in default mode.
We don't need verbose debug for the assembler. The verbose debug
information should only be printed if assembler files are
generated.
Diffstat (limited to 'cfrontend/Cexec.v')
0 files changed, 0 insertions, 0 deletions