config/global/build-behave.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 02 20:06:44 2009 +0200 (2009-08-02)
changeset 1446 0a44fc4d6bd0
parent 1445 9f7946c892da
child 1447 8ef937cc57ba
permissions -rw-r--r--
[config] Allow user to specify custom CONFIG_SHELL

In case the shell the user wants to use as CONFIG_SHELL is located in a
weird place (eg. /opt/bash/bin/bash), or is weirdly named (eg. bash-4),
let the user enter the patch to the shell.
     1 # Options related to how the build behaves
     2 
     3 comment "Build behavior"
     4 
     5 config PARALLEL_JOBS
     6     int
     7     prompt "Number of parallel jobs"
     8     default 1
     9     help
    10       Number of jobs make will be allowed to run concurently.
    11       Set this higher than the number of processors you have, but not too high.
    12       A good rule of thumb is twice the number of processors you have.
    13       
    14       Enter 1 (or 0) to have only one job at a time.
    15 
    16 config LOAD
    17     int
    18     prompt "Maximum allowed load"
    19     default 0
    20     help
    21       Specifies that no new jobs should be started if there are others jobs
    22       running and the load average is at least this value.
    23       
    24       Makes sense on SMP machines only.
    25       
    26       Enter 0 to have no limit on the load average.
    27       
    28       Note: only the integer part of the load is allowed here (you can't enter
    29             0.75 for example).
    30 
    31 config NICE
    32     int
    33     prompt "Nice level"
    34     default 0
    35     range 0 19
    36     help
    37       Renices the build process up.
    38 
    39 config USE_PIPES
    40     bool
    41     prompt "Use -pipe"
    42     default y
    43     help
    44       Use gcc's option -pipe to use pipes rather than temp files when building
    45       the toolchain.
    46 
    47 choice
    48     bool
    49     prompt "Shell to use as CONFIG_SHELL"
    50     default CONFIG_SHELL_SYSTEM
    51 
    52 config CONFIG_SHELL_SH
    53     bool
    54     prompt "sh (the system shell)"
    55     help
    56       Use 'sh' as CONFIG_SHELL.
    57       
    58       ./configure scripts and Makefiles make intensive use of calling
    59       sub-shells. This is usually done by calling /bin/sh. /bin/sh ought
    60       to be an at-least-POSIX-conformant shell (that is, able to interpret
    61       POSIX shell scripts).
    62       
    63       On many (most?) systems, /bin/sh is a symlink to bash. On some other
    64       systems (eg. Ubuntu, latest Debian), /bin/sh points to dash (or ash).
    65       bash is a full-featured shell, with many extension to POSIX, but is
    66       quite slow (see ection BUGS in the bash man page), while dash is
    67       faster, with very few extensions to POSIX.  On the other hand, some
    68       ./configure scripts, although written to use /bin/sh, may really
    69       require to be run by bash.
    70       
    71       The default is to use your system's /bin/sh shell. If you want to
    72       run faster, you can select to use dash. If you have problems with
    73       either the system shell or when using dash, then you can force to
    74       use bash.
    75       
    76 config CONFIG_SHELL_ASH
    77     bool
    78     prompt "ash"
    79     help
    80       Use 'ash' as CONFIG_SHELL.
    81       
    82       See help for CONFIG_SHELL_SH, above, for more explanations.
    83 
    84 config CONFIG_SHELL_BASH
    85     bool
    86     prompt "bash"
    87     help
    88       Use 'bash' as CONFIG_SHELL.
    89       
    90       See help for CONFIG_SHELL_SH, above, for more explanations.
    91 
    92 config CONFIG_SHELL_CUSTOM
    93     bool
    94     prompt "custom shell"
    95     help
    96       Enter full path to the custom shell below.
    97       
    98       See help for CONFIG_SHELL_SH, above, for more explanations.
    99 
   100 config CONFIG_SHELL_CUSTOM_PATH
   101     string
   102     prompt "Path to custom shell"
   103     depends on CONFIG_SHELL_CUSTOM
   104     default "/bin/sh"
   105 
   106 endchoice
   107 
   108 config CONFIG_SHELL
   109     string
   110     default "sh"        if CONFIG_SHELL_SH
   111     default "ash"       if CONFIG_SHELL_ASH
   112     default "bash"      if CONFIG_SHELL_BASH
   113     default "custom"    if CONFIG_SHELL_CUSTOM