diff --git a/runtime/starpu/include/cppi_interface.h b/runtime/starpu/include/cppi_interface.h
index 537bc9cd807c9e27f0cf550d6611e2bc974255d3..7a77784656291b3f2b91ccd265f950a7d8889d8d 100644
--- a/runtime/starpu/include/cppi_interface.h
+++ b/runtime/starpu/include/cppi_interface.h
@@ -82,8 +82,11 @@ cppi_display_dbg( cppi_interface_t *cppi_interface, FILE *f, const char *title )
 }
 #else
 static inline void
-cppi_display_dbg( cppi_interface_t *, FILE *, const char * )
+cppi_display_dbg( cppi_interface_t *cppi_interface, FILE *f, const char *title )
 {
+    (void)cppi_interface;
+    (void)f;
+    (void)title;
     return;
 }
 #endif