Commit d76cc109 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Added a couple missing conditions to [skipping_parser_generation].

parent 0f554b5e
......@@ -106,7 +106,10 @@ let skipping_parser_generation =
Settings.compile_errors <> None ||
Settings.interpret_error ||
Settings.list_errors ||
Settings.compare_errors <> None
Settings.compare_errors <> None ||
Settings.update_errors <> None ||
Settings.echo_errors <> None ||
false
(* maybe also: [preprocess_mode <> PMNormal] *)
(* ------------------------------------------------------------------------- *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment