|
@@ -1447,12 +1447,18 @@ try
|
|
|
add_std "cpp";
|
|
|
"cpp"
|
|
|
| Cs ->
|
|
|
+ let old_flush = ctx.flush in
|
|
|
+ ctx.flush <- (fun () ->
|
|
|
+ com.net_libs <- [];
|
|
|
+ old_flush()
|
|
|
+ );
|
|
|
Gencs.before_generate com;
|
|
|
add_std "cs"; "cs"
|
|
|
| Java ->
|
|
|
let old_flush = ctx.flush in
|
|
|
ctx.flush <- (fun () ->
|
|
|
List.iter (fun (_,_,close,_,_) -> close()) com.java_libs;
|
|
|
+ com.java_libs <- [];
|
|
|
old_flush()
|
|
|
);
|
|
|
Genjava.before_generate com;
|