Browse Source

add timer around HL's interpreter

Simon Krajewski 8 years ago
parent
commit
2ca1c06d0e
1 changed files with 3 additions and 1 deletions
  1. 3 1
      src/generators/genhl.ml

+ 3 - 1
src/generators/genhl.ml

@@ -3748,7 +3748,9 @@ let generate com =
 	end;
 	if Common.defined com Define.Interp then
 		try
-			let ctx = Hlinterp.create true in
+			let t = Common.timer ["generate";"hl";"interp"] in
+			let ctx = Hlinterp.create false in
 			Hlinterp.add_code ctx code;
+			t();
 		with
 			Failure msg -> abort msg null_pos