From b34af189e65ebfd070b9e805908077314230d252 Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Tue, 12 Dec 2006 13:50:35 +0100
Subject: [PATCH] add help output to simulator bench/tester

---
 utils/bench-simulator.cc | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/utils/bench-simulator.cc b/utils/bench-simulator.cc
index e879b994e..ee3f8e731 100644
--- a/utils/bench-simulator.cc
+++ b/utils/bench-simulator.cc
@@ -110,10 +110,28 @@ Bench::Cb (void)
   m_n++;
 }
 
+void
+PrintHelp (void)
+{
+  std::cout << "bench-simulator filename [options]"<<std::endl;
+  std::cout << "  filename: a string which identifies the input distribution. \"-\" represents stdin." << std::endl;
+  std::cout << "  Options:"<<std::endl;
+  std::cout << "      --list: use std::list scheduler"<<std::endl;
+  std::cout << "      --map: use std::map cheduler"<<std::endl;
+  std::cout << "      --heap: use Binary Heap scheduler"<<std::endl;
+  std::cout << "      --log=filename: log scheduler events for the event replay utility."<<std::endl;
+  std::cout << "      --debug: enable some debugging"<<std::endl;
+}
+
 int main (int argc, char *argv[])
 {
   char const *filename = argv[1];
   std::istream *input;
+  if (argc == 1)
+    {
+      PrintHelp ();
+      return 0;
+    }
   argc-=2;
   argv+= 2;
   if (strcmp (filename, "-") == 0) {