diff options
Diffstat (limited to 'samples/x86_64-unknown-linux-gnu/crosstool.config')
| -rw-r--r-- | samples/x86_64-unknown-linux-gnu/crosstool.config | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/samples/x86_64-unknown-linux-gnu/crosstool.config b/samples/x86_64-unknown-linux-gnu/crosstool.config index a9c03302..2b263c1b 100644 --- a/samples/x86_64-unknown-linux-gnu/crosstool.config +++ b/samples/x86_64-unknown-linux-gnu/crosstool.config @@ -17,8 +17,10 @@ CT_DEBUG_dmalloc=y CT_DEBUG_duma=y CT_DEBUG_gdb=y CT_GDB_NATIVE=y +CT_GDB_V_6_8a=y CT_DEBUG_ltrace=y CT_DEBUG_strace=y +CT_STRACE_V_4_5_19=y CT_GMP_V_4_3_2=y CT_MPFR_V_2_4_2=y CT_PPL_V_0_10_2=y |