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 /Makefile.menhir | |
| parent | 0a500b73fc9bd6c6752c7bf0079e2305d0040303 (diff) | |
| download | compcert-kvx-22efd958aef1d4372a905158befa5394dec3c604.tar.gz compcert-kvx-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 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions