diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-01-29 22:46:43 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-01-29 22:46:43 (GMT) |
commit | 8920a9435496aa0347f729a406f9b411d2e2b807 (patch) | |
tree | 2018d17e86f7ea178ed4eb1baafff40bd3684e0f /config | |
parent | 8577bc52c1bfc8d1b3983f93ed040ccebd96ad20 (diff) | |
parent | 88d3a95eca7d1bac5039aad67f53da3962fc8564 (diff) |
Merge.
Diffstat (limited to 'config')
-rw-r--r-- | config/global/build-behave.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config/global/build-behave.in b/config/global/build-behave.in index b0a1040..8190710 100644 --- a/config/global/build-behave.in +++ b/config/global/build-behave.in @@ -28,14 +28,6 @@ config LOAD Note: only the integer part of the load is allowed here (you can't enter 0.75 for example). -config NICE - int - prompt "Nice level" - default 0 - range 0 19 - help - Renices the build process up. - config USE_PIPES bool prompt "Use -pipe" |