diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 17:04:56 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 17:04:56 +0200 |
commit | 711cea9fc37e777487abc815730aacde2b00aef3 (patch) | |
tree | f9480756132b098cb42d9853a5a188fdb156c697 /ia32/SelectOp.vp | |
parent | 56a6795d82c5ff0af78872a3e807b48c556ce5fe (diff) | |
download | compcert-711cea9fc37e777487abc815730aacde2b00aef3.tar.gz compcert-711cea9fc37e777487abc815730aacde2b00aef3.zip |
Activate advanced debug information for arm, ia32.
The configuration advanced debug is removed and now full debug
information is also generated for ia32 and arm.
Bug 17609
Diffstat (limited to 'ia32/SelectOp.vp')
0 files changed, 0 insertions, 0 deletions