From 271fd0ba0668341540827a6f861e30e42145a748 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Fri, 23 Nov 2018 19:04:53 +0100 Subject: [PATCH] run/depot_autopilot: show depot size --- repos/gems/run/depot_autopilot.run | 3 +++ 1 file changed, 3 insertions(+) diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index 3b27bfac67..0c0e72d3c5 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -389,7 +389,10 @@ proc prepare_to_run_genode { } { check_archives_available {*}$all_archives autopilot_create_tar_from_depot_binaries [run_dir]/genode/depot.tar {*}$depot_tar_archives + set depot_tar_wo_src_size [file size [run_dir]/genode/depot.tar] append_src_and_api_depot_packages_to_tar [run_dir]/genode/depot.tar {*}$depot_tar_src_archives + set depot_tar_size [file size [run_dir]/genode/depot.tar] + puts "Depot archive has a size of $depot_tar_size bytes ($depot_tar_wo_src_size bytes without sources)" # # Install the root-init config