diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-14 15:45:21 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-14 15:45:21 +0200 |
commit | 22efd958aef1d4372a905158befa5394dec3c604 (patch) | |
tree | 42c1e6b7ad98a068231e11067ce9bae6e146b0d1 /runtime/powerpc/i64_stof.s | |
parent | 0a500b73fc9bd6c6752c7bf0079e2305d0040303 (diff) | |
download | compcert-22efd958aef1d4372a905158befa5394dec3c604.tar.gz compcert-22efd958aef1d4372a905158befa5394dec3c604.zip |
Refactored debugging options.
The options controlling the generation of debugging information
are now moved into the Debug module. Futhermore the -gdepth
options are replaced in favor of a more gcc compatible version.
Bug 20193
Diffstat (limited to 'runtime/powerpc/i64_stof.s')
0 files changed, 0 insertions, 0 deletions