From 530557397a228939191a85931b569b404b3ac8a7 Mon Sep 17 00:00:00 2001
From: Joris Vaillant <joris.vaillant@inria.fr>
Date: Thu, 31 Oct 2024 11:13:18 +0100
Subject: [PATCH] config.hh: Add some comments

---
 config.hh.cmake | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/config.hh.cmake b/config.hh.cmake
index 5a5f3c18a..3d64b9f8b 100644
--- a/config.hh.cmake
+++ b/config.hh.cmake
@@ -50,6 +50,8 @@
 # else
 // On Linux, for GCC >= 4, tag symbols using GCC extension.
 #  if __GNUC__ >= 4
+// Use C++11 attribute if avaiable.
+// This avoid issue when mixing old and C++11 attributes with GCC < 13
 #   if defined(__cplusplus) && (__cplusplus >= 201103L)
 #    define @LIBRARY_NAME@_DLLIMPORT [[gnu::visibility("default")]]
 #    define @LIBRARY_NAME@_DLLEXPORT [[gnu::visibility("default")]]