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 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -19,7 +19,6 @@ toolprefix='' target='' has_runtime_lib=true has_standard_headers=true -advanced_debug=false clightgen=false usage='Usage: ./configure [options] target @@ -119,7 +118,6 @@ case "$target" in asm_supports_cfi=false clinker="${toolprefix}dcc" libmath="-lm" - advanced_debug=true;; *) system="linux" cc="${toolprefix}gcc" @@ -130,7 +128,6 @@ case "$target" in casmruntime="${toolprefix}gcc -c -Wa,-mregnames" clinker="${toolprefix}gcc" libmath="-lm" - advanced_debug=true;; esac;; arm*-*) arch="arm" @@ -387,7 +384,6 @@ LIBMATH=$libmath HAS_RUNTIME_LIB=$has_runtime_lib HAS_STANDARD_HEADERS=$has_standard_headers ASM_SUPPORTS_CFI=$asm_supports_cfi -ADVANCED_DEBUG=$advanced_debug CLIGHTGEN=$clightgen EOF else |