summary refs log tree commit diff stats
path: root/config/nimrod.cfg
diff options
context:
space:
mode:
Diffstat (limited to 'config/nimrod.cfg')
-rw-r--r--config/nimrod.cfg1
1 files changed, 0 insertions, 1 deletions
diff --git a/config/nimrod.cfg b/config/nimrod.cfg
index 159cbe1bd..d9075a20f 100644
--- a/config/nimrod.cfg
+++ b/config/nimrod.cfg
@@ -55,7 +55,6 @@ path="$lib/pure/unidecode"
 @end
 
 # additional options always passed to the compiler:
---verbosity: "1"
 --parallel_build: "0" # 0 to auto-detect number of processors
 
 hint[LineTooLong]=off