File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -377,6 +377,7 @@ bool compiler_execute(CompilerSettings *settings) {
377377 }
378378
379379 const std::string compilation_metrics_file = G->settings ().compilation_metrics_file .get ();
380+ const std::string image_version = G->settings ().build_timestamp .get ();
380381 G->finish ();
381382 auto profiler_stats = collect_profiler_stats ();
382383 G->stats .update_memory_stats ();
@@ -387,6 +388,9 @@ bool compiler_execute(CompilerSettings *settings) {
387388 std::cerr << std::endl;
388389 std::cerr << " Compile stats:" << std::endl;
389390 G->stats .write_to (std::cerr);
391+ if (G->is_output_mode_k2 ()) {
392+ std::cerr << " Image version: " << image_version << std::endl;
393+ }
390394 }
391395 if (!compilation_metrics_file.empty ()) {
392396 G->stats .profiler_stats = std::move (profiler_stats);
You can’t perform that action at this time.
0 commit comments