From 7fe118297b3ae51919d3721520ae682bd62b9ec3 Mon Sep 17 00:00:00 2001
From: David Carlier <devnexen@gmail.com>
Date: Mon, 18 Nov 2019 08:17:42 +0000
Subject: [PATCH] tagging mi_is_get_aligned_hint as unused for now

---
 src/os.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/os.c b/src/os.c
index 2ad0648f..6b95474f 100644
--- a/src/os.c
+++ b/src/os.c
@@ -441,7 +441,8 @@ static void* mi_os_get_aligned_hint(size_t try_alignment, size_t size) {
   return (void*)hint;
 }
 #else
-static void* mi_os_get_aligned_hint(size_t try_alignment, size_t size) {
+// Disabled at the moment, not used anywhere by oses not supporting map aligned flag
+static void* __attribute__((unused)) mi_os_get_aligned_hint(size_t try_alignment, size_t size) {
   UNUSED(try_alignment); UNUSED(size);
   return NULL;
 }