1.1 --- a/config/companion_libs.in	Mon Jun 01 15:53:42 2009 +0000
     1.2 +++ b/config/companion_libs.in	Mon Jun 01 17:05:50 2009 +0000
     1.3 @@ -46,12 +46,15 @@
     1.4  source config/companion_libs/mpc.in
     1.5  endif
     1.6  
     1.7 -comment "Common companion libraries options"
     1.8 +config FOO
     1.9 +    bool
    1.10 +
    1.11 +comment "Companion libraries common options"
    1.12      depends on GMP_MPFR || PPL_CLOOG_MPC
    1.13  
    1.14  config COMP_LIBS_CHECK
    1.15      bool
    1.16 -    prompt "Check the companion libraries builds (!!! READ HELP!!!)"
    1.17 +    prompt "|  Check the companion libraries builds (!!! READ HELP!!!)"
    1.18      depends on GMP_MPFR || PPL_CLOOG_MPC
    1.19      default n
    1.20      help
    1.21 @@ -66,11 +69,11 @@
    1.22        cause for incorrectly generated code, you should answer 'Y' here.
    1.23        Note however that this will take a really long time. For example,
    1.24        building PPL on my machine takes roughly 1'40", while checking it takes
    1.25 -      about 1h30"...
    1.26 +      about 1h40'...
    1.27  
    1.28  config COMP_LIBS_TARGET
    1.29      bool
    1.30 -    prompt "Build companion libraries for the target"
    1.31 +    prompt "|  Build companion libraries for the target"
    1.32      depends on GMP_MPFR || PPL_CLOOG_MPC
    1.33      depends on ! BARE_METAL
    1.34      default n