Add # in front of CPU number
authorMichael Meissner <gnu@the-meissners.org>
Mon, 2 Oct 1995 18:33:17 +0000 (18:33 +0000)
committerMichael Meissner <gnu@the-meissners.org>
Mon, 2 Oct 1995 18:33:17 +0000 (18:33 +0000)
sim/ppc/cpu.c

index 1ced239..46ac19b 100644 (file)
@@ -292,7 +292,7 @@ cpu_get_number_of_insns(cpu *processor)
 INLINE_CPU void
 cpu_print_info(cpu *processor, int verbose)
 {
-  printf_filtered("CPU %d executed %ld instructions.\n",
+  printf_filtered("CPU #%d executed %ld instructions.\n",
                  processor->cpu_nr+1,
                  processor->number_of_insns);
 }