diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-03 21:14:42 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-03 21:14:42 +0200 |
commit | 1b989dc9bff4a6425a929a5638362ca87edb122d (patch) | |
tree | dfc34cfe98cf07775a67f9ff3eeec42ebb5b8402 /configure | |
parent | b96122579c7e4dc6e38b0f1caa9bddf9997b49fa (diff) | |
download | compcert-1b989dc9bff4a6425a929a5638362ca87edb122d.tar.gz compcert-1b989dc9bff4a6425a929a5638362ca87edb122d.zip |
Activate the advanced debug for the gcc build.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -104,7 +104,8 @@ case "$target" in casmruntime="${toolprefix}gcc -c -Wa,-mregnames" clinker="${toolprefix}gcc" libmath="-lm" - cchecklink=${build_checklink};; + cchecklink=${build_checklink} + advanced_debug=true;; powerpc-eabi-diab|ppc-eabi-diab) arch="powerpc" model="standard" |