summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-01-29 22:14:53 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-01-29 22:14:53 (GMT)
commit88d3a95eca7d1bac5039aad67f53da3962fc8564 (patch)
tree24fbae3b80850aed7619373ef90f0484e4878c8c /config
parent3bd33664dff6810a9929dc700a7e9a2de5df76f7 (diff)
global: do not offer the renice option, let's the user handle that
It's broken anyway. Eg.: - user is already niced at 10 - user configures to renice at 5 - breaks because user is not allowed to 'boost' his/her nice value Bette let the user handle the renice with: nice -XX ct-ng 'action'
Diffstat (limited to 'config')
-rw-r--r--config/global/build-behave.in8
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"