config/global/build-behave.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 02 20:06:06 2009 +0200 (2009-08-02)
changeset 1445 9f7946c892da
parent 1444 8f6a793dc5b5
child 1446 0a44fc4d6bd0
permissions -rw-r--r--
[config] Add bash as a possible CONFIG_SHELL

On some systems and/or for some components, it may be necessary to
explicitly use bash as the shell used by ./configure and Makefiles.
     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 endchoice
    93 
    94 config CONFIG_SHELL
    95     string
    96     default "sh"    if CONFIG_SHELL_SH
    97     default "ash"   if CONFIG_SHELL_ASH
    98     default "bash"  if CONFIG_SHELL_BASH