Dumping time profile data only when the profiling is enabled.

Author: marek-trtik

src/taint-analysis/taint_security_scanner.cpp

@@ -337,7 +337,7 @@ bool taint_do_security_scan(
 
   logger.status() << "The security scanner has finished successfully."
     << messaget::eom;
-  tmprof_dump_as_json(
+  TMPROF_DUMP(
     boost::filesystem::path(config.get_output_root_directory()) /
     "TMPROF.json");
   return true;