From a77431693d24e104822393392f1f089e306c29f2 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 30 Jun 2011 16:52:05 +0200
Subject: [PATCH 1/1] Add log message about number of hosts in platform file.

---
 main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main.cpp b/main.cpp
index 5cf3728..aa964bb 100644
--- 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();
+        XBT_INFO("Loaded description of %zd hosts.", hostdata::size());
         XBT_DEBUG("Deploying processes...");
         if (opt::auto_depl::enabled) {
             if (!opt::auto_depl::nhosts)
-- 
2.39.5