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 /driver/Clflags.ml | |
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 'driver/Clflags.ml')
-rw-r--r-- | driver/Clflags.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index f8c38a54..c7a5d3bf 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -45,7 +45,7 @@ let option_dmach = ref false let option_dasm = ref false let option_sdump = ref false let option_g = ref false -let option_gdwarf = ref 2 +let option_gdwarf = ref (if Configuration.system = "diab" then 2 else 3) let option_gdepth = ref 3 let option_o = ref (None: string option) let option_E = ref false |