Use -pipe to speed up compilation a little bit.

[loba.git] / options.h

diff --git a/options.h b/options.h
index dee2953c58cba17860b324de0b6f39d675033dbd..604d1781ebf1deb00ca901de2ae2bcef971a821f 100644 (file)
--- a/options.h
+++ b/options.h
@@ -19,6 +19,7 @@ namespace opt {
     extern std::string program_name;
     extern int help_requested;
     extern bool version_requested;
     extern std::string program_name;
     extern int help_requested;
     extern bool version_requested;

+    extern int option_x;       // hidden option, for debugging purpose

 
     // Simulation parameters
     extern int log_rate;
 
     // Simulation parameters
     extern int log_rate;