Add log message about number of hosts in platform file.

diff --git a/main.cpp b/main.cpp
index 5cf37287a034275e2ea17384c573dd51bb4464fa..aa964bb7d87e183496b70b9ba790d259471fb088 100644 (file)
--- a/main.cpp
+++ b/main.cpp
@@ -234,6 +234,7 @@ int main(int argc, char* argv[])
         MSG_create_environment(opt::platform_file.c_str());
         XBT_DEBUG("Creating hostdata...");
         hostdata::create();
         MSG_create_environment(opt::platform_file.c_str());
         XBT_DEBUG("Creating hostdata...");
         hostdata::create();

+        XBT_INFO("Loaded description of %zd hosts.", hostdata::size());

         XBT_DEBUG("Deploying processes...");
         if (opt::auto_depl::enabled) {
             if (!opt::auto_depl::nhosts)
         XBT_DEBUG("Deploying processes...");
         if (opt::auto_depl::enabled) {
             if (!opt::auto_depl::nhosts)