Fixed DRC profile feature

2023-05-28 23:21:14 +02:00 · 2023-05-28 23:21:14 +02:00 · 7f3950f582
parent 2e33cf1442
commit 7f3950f582
1 changed files with 5 additions and 1 deletions
--- a/src/drc/drc/built-in-macros/_drc_engine.rb
+++ b/src/drc/drc/built-in-macros/_drc_engine.rb
@ -2619,6 +2619,10 @@ CODE

    def _dump_profile

+      if @profile_info.empty?
+        return
+      end
+
      desc_title = "Operation"
      calls_title = "# calls"
      time_title = "Time (s)"
@ -2711,7 +2715,7 @@ CODE
        end

        # dump the profile information
-        if @profile
+        if @profile && final
          _dump_profile
        end