DEBUGGING only: force verbosity to 10

tautschnig · tautschnig · commit bb86f6a888f7 · 2018-08-06T14:05:51.000Z
diff --git a/src/goto-cc/ms_link_mode.cpp b/src/goto-cc/ms_link_mode.cpp
@@ -31,7 +31,7 @@ int ms_link_modet::doit()
   }
 
   eval_verbosity(
-    cmdline.get_value("verbosity"), messaget::M_ERROR, message_handler);
+    "10", messaget::M_ERROR, message_handler);
 
   compilet compiler(cmdline, message_handler, false);
 

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ int ms_link_modet::doit()`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`eval_verbosity(`
`34`		`- cmdline.get_value("verbosity"), messaget::M_ERROR, message_handler);`
	`34`	`+ "10", messaget::M_ERROR, message_handler);`
`35`	`35`
`36`	`36`	`compilet compiler(cmdline, message_handler, false);`
`37`	`37`