فهرست منبع

never cache modules in display mode

Nicolas Cannasse 13 سال پیش
والد
کامیت
0bc69e07e2
1فایلهای تغییر یافته به همراه1 افزوده شده و 1 حذف شده
  1. 1 1
      main.ml

+ 1 - 1
main.ml

@@ -520,7 +520,7 @@ and wait_loop boot_com host port =
 				read_loop()
 		in
 		let rec cache_context com =
-			if not com.dead_code_elimination then begin
+			if not com.dead_code_elimination && not com.display then begin
 				List.iter cache_module com.modules;
 				if verbose then print_endline ("Cached " ^ string_of_int (List.length com.modules) ^ " modules");
 			end;