2000-08-15 Dave Brolley <brolley@redhat.com>

	* sim-profile.c (profile_print_speed): Print cpu frequency if not zero.

diff --git a/sim/common/sim-profile.c b/sim/common/sim-profile.c
index 13805e9c623418e6773e38869eebfef80065e828..ff53f71d775bc2decd80343f1ce62a83047b3a43 100644 (file)
--- a/sim/common/sim-profile.c
+++ b/sim/common/sim-profile.c
@@ -1017,7 +1017,6 @@ profile_print_speed (sim_cpu *cpu)
                       COMMAS ((unsigned long) ((double) total / secs)));
     }
 
-#if WITH_PROFILE_MODEL_P
   /* Print simulated execution time if the cpu frequency has been specified.  */
   clock = PROFILE_CPU_FREQ (data);
   if (clock != 0)
@@ -1028,6 +1027,7 @@ profile_print_speed (sim_cpu *cpu)
       else
        sim_io_printf (sd, "  Simulated cpu frequency: %.2f Hz\n", clock);
 
+#if WITH_PROFILE_MODEL_P
       if (PROFILE_FLAGS (data) [PROFILE_MODEL_IDX])
        {
          /* The printing of the time rounded to 2 decimal places makes the
@@ -1040,8 +1040,8 @@ profile_print_speed (sim_cpu *cpu)
          sim_io_printf (sd, "  Simulated execution time: %.2f seconds\n",
                         secs);
        }
-    }
 #endif /* WITH_PROFILE_MODEL_P */
+    }
 }
 
 /* Print selected address ranges.  */