aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-10-03 21:14:42 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-10-03 21:14:42 +0200
commit1b989dc9bff4a6425a929a5638362ca87edb122d (patch)
treedfc34cfe98cf07775a67f9ff3eeec42ebb5b8402 /configure
parentb96122579c7e4dc6e38b0f1caa9bddf9997b49fa (diff)
downloadcompcert-1b989dc9bff4a6425a929a5638362ca87edb122d.tar.gz
compcert-1b989dc9bff4a6425a929a5638362ca87edb122d.zip
Activate the advanced debug for the gcc build.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index b906e38f..a04fd2f5 100755
--- a/configure
+++ b/configure
@@ -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"