diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 17:04:56 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 17:04:56 +0200 |
commit | 711cea9fc37e777487abc815730aacde2b00aef3 (patch) | |
tree | f9480756132b098cb42d9853a5a188fdb156c697 /driver/Configuration.mli | |
parent | 56a6795d82c5ff0af78872a3e807b48c556ce5fe (diff) | |
download | compcert-711cea9fc37e777487abc815730aacde2b00aef3.tar.gz compcert-711cea9fc37e777487abc815730aacde2b00aef3.zip |
Activate advanced debug information for arm, ia32.
The configuration advanced debug is removed and now full debug
information is also generated for ia32 and arm.
Bug 17609
Diffstat (limited to 'driver/Configuration.mli')
-rw-r--r-- | driver/Configuration.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/driver/Configuration.mli b/driver/Configuration.mli index abfd3ab4..dde9d6fd 100644 --- a/driver/Configuration.mli +++ b/driver/Configuration.mli @@ -43,9 +43,6 @@ val has_runtime_lib: bool val has_standard_headers: bool (** True if CompCert's standard header files is available. *) -val advanced_debug: bool - (** True if advanced debug is implement for the Target *) - type struct_passing_style = | SP_ref_callee (* by reference, callee takes copy *) |