|
@@ -230,11 +230,11 @@ let null_abstract = {
|
|
a_enum = false;
|
|
a_enum = false;
|
|
}
|
|
}
|
|
|
|
|
|
-let add_dependency m mdep =
|
|
|
|
|
|
+let add_dependency ?(skip_postprocess=false) m mdep =
|
|
if m != null_module && m != mdep then begin
|
|
if m != null_module && m != mdep then begin
|
|
m.m_extra.m_deps <- PMap.add mdep.m_id mdep m.m_extra.m_deps;
|
|
m.m_extra.m_deps <- PMap.add mdep.m_id mdep m.m_extra.m_deps;
|
|
(* In case the module is cached, we'll have to run post-processing on it again (issue #10635) *)
|
|
(* In case the module is cached, we'll have to run post-processing on it again (issue #10635) *)
|
|
- m.m_extra.m_processed <- 0
|
|
|
|
|
|
+ if not skip_postprocess then m.m_extra.m_processed <- 0
|
|
end
|
|
end
|
|
|
|
|
|
let arg_name (a,_) = a.v_name
|
|
let arg_name (a,_) = a.v_name
|