Commit c7c9df49 authored by sven.panne@aedion.de's avatar sven.panne@aedion.de
Browse files

Warning police: "%p" format expects a void*

parent ddf73c04
......@@ -677,7 +677,7 @@ shutdownCapability (Capability *cap, Task *task)
for (t = cap->spare_workers; t != NULL; t = t->next) {
if (!osThreadIsAlive(t->id)) {
debugTrace(DEBUG_sched,
"worker thread %p has died unexpectedly", t->id);
"worker thread %p has died unexpectedly", (void *)t->id);
if (!prev) {
cap->spare_workers = t->next;
} else {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment