small fix when profiler is turned off

miniapp/io.cpp

@@ -8,7 +8,7 @@ namespace io {
 // for now this is just a placeholder
 options read_options(std::string fname) {
     // 10 cells, 1 synapses per cell, 10 compartments per segment
-    return {1000, 1, 100};
+    return {200, 1, 100};
 }
 
 std::ostream& operator<<(std::ostream& o, const options& opt) {

miniapp/miniapp.cpp

@@ -150,7 +150,7 @@ int main(int argc, char** argv) {
     //
     //  time stepping
     //
-    auto tfinal = 200.;
+    auto tfinal = 20.;
     auto dt = 0.01;
 
     auto id = m.communicator.domain_id();

src/profiling/profiler.hpp

@@ -218,8 +218,10 @@ void profiler_enter(const char* n);
 /// enter nested profiler regions in a single call
 template <class...Args>
 void profiler_enter(const char* n, Args... args) {
+#ifdef WITH_PROFILING
     get_profiler().enter(n);
     profiler_enter(args...);
+#endif
 }
 
 /// move up one level in the profiler