diff options
Diffstat (limited to 'gnu/gcc/CONFIGURE')
| -rwxr-xr-x | gnu/gcc/CONFIGURE | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/gcc/CONFIGURE b/gnu/gcc/CONFIGURE index 81b4a8ddfc..44460f662e 100755 --- a/gnu/gcc/CONFIGURE +++ b/gnu/gcc/CONFIGURE @@ -9,7 +9,8 @@ config_query_list GCC_TARGET "Select what build to use" \ profiledbootstrap-lean && 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 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 |