From 03ed7fc1e2bbdb63d60825697e0797cf438439c0 Mon Sep 17 00:00:00 2001
From: Mathieu Faverge <mathieu.faverge@inria.fr>
Date: Fri, 1 Sep 2023 13:47:27 +0200
Subject: [PATCH] starpu/cppi: Fix prototype of cppi_display_dbg to be
 compatible with Intel compiler

---
 runtime/starpu/include/cppi_interface.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/runtime/starpu/include/cppi_interface.h b/runtime/starpu/include/cppi_interface.h
index 537bc9cd8..7a7778465 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
-- 
GitLab