Update

[l4.git] / kernel / fiasco / src / jdb / jdb_counters.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_counters.cpp b/kernel/fiasco/src/jdb/jdb_counters.cpp
index a36041fab1b4f937c302df9eb2fdd7f53db70c8b..468a3f84fa9ae2ca14cce8eb273150d92c36d015 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_counters.cpp
+++ b/kernel/fiasco/src/jdb/jdb_counters.cpp
@@ -25,7 +25,7 @@ Jdb_counters::show()
 {
   putchar('\n');
   for (unsigned i=0; i<Kern_cnt_max; i++)
-    printf("  %-25s%10ld\n", Kern_cnt::get_str(i), *Kern_cnt::get_ctr(i));
+    printf("  %-25s%10lu\n", Kern_cnt::get_str(i), *Kern_cnt::get_ctr(i));
   putchar('\n');
 }