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 /Makefile | |
parent | 68ad5472a78d12e0e4fd4eae422122185403d678 (diff) | |
download | compcert-4e0ffb627524e3a251ee9e82ed88e1ed45e26b16.tar.gz compcert-4e0ffb627524e3a251ee9e82ed88e1ed45e26b16.zip |
Deactivate the debug functions for none advanced targets.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions