diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-29 16:02:56 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-29 16:02:56 +0200 |
| commit | 4e0ffb627524e3a251ee9e82ed88e1ed45e26b16 (patch) | |
| tree | 7531077fcb6112fb0b4a71b19485b4bb4860862f /debug/DebugInformation.ml | |
| parent | 68ad5472a78d12e0e4fd4eae422122185403d678 (diff) | |
| download | compcert-kvx-4e0ffb627524e3a251ee9e82ed88e1ed45e26b16.tar.gz compcert-kvx-4e0ffb627524e3a251ee9e82ed88e1ed45e26b16.zip | |
Deactivate the debug functions for none advanced targets.
Diffstat (limited to 'debug/DebugInformation.ml')
0 files changed, 0 insertions, 0 deletions