config/global/build-behave.in
changeset 1753 fcc55af9aee5
parent 1459 aec371a30cf3
child 1866 1539194a1877
     1.1 --- a/config/global/build-behave.in	Thu Aug 06 19:40:26 2009 +0200
     1.2 +++ b/config/global/build-behave.in	Fri Jan 29 23:14:53 2010 +0100
     1.3 @@ -28,14 +28,6 @@
     1.4        Note: only the integer part of the load is allowed here (you can't enter
     1.5              0.75 for example).
     1.6  
     1.7 -config NICE
     1.8 -    int
     1.9 -    prompt "Nice level"
    1.10 -    default 0
    1.11 -    range 0 19
    1.12 -    help
    1.13 -      Renices the build process up.
    1.14 -
    1.15  config USE_PIPES
    1.16      bool
    1.17      prompt "Use -pipe"