path: root/config/global
diff options
authorYann E. MORIN" <>2010-01-29 22:14:53 (GMT)
committerYann E. MORIN" <>2010-01-29 22:14:53 (GMT)
commit88d3a95eca7d1bac5039aad67f53da3962fc8564 (patch)
tree24fbae3b80850aed7619373ef90f0484e4878c8c /config/global
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/global')
1 files changed, 0 insertions, 8 deletions
diff --git a/config/global/ b/config/global/
index b0a1040..8190710 100644
--- a/config/global/
+++ b/config/global/
@@ -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
prompt "Use -pipe"