diff options
Diffstat (limited to 'gnu/gcc/CONFIGURE')
| -rwxr-xr-x | gnu/gcc/CONFIGURE | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gnu/gcc/CONFIGURE b/gnu/gcc/CONFIGURE index 44460f662e..687f348a8c 100755 --- a/gnu/gcc/CONFIGURE +++ b/gnu/gcc/CONFIGURE @@ -12,8 +12,3 @@ if list_find "$GCC_COMPILER" "java" ; then config_query GCJ_AWT "Do you want support for AWT (requires gtk+2 and libart_lgpl)?" n && config_query_option GCJ_HOME "Add JDK Tree emulation?" n "--enable-java-home" "" fi - -#if list_find "$GCC_COMPILER" "ada"; then -# config_query GCC_ADA_BINDING_GENERATOR "Do you want to patch gcc so -fdump-ada-spec is available?" n && -# config_query GCC_ADA_LIBADDRLINE "Do you want to patch gcc so libaddr2line is available?" n -#fi |