diff options
Diffstat (limited to 'lib/make/configure.in')
| -rw-r--r-- | lib/make/configure.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/make/configure.in b/lib/make/configure.in index 8b1f4cce..4152e7b6 100644 --- a/lib/make/configure.in +++ b/lib/make/configure.in @@ -781,11 +781,11 @@ CCTK_C__PRAGMA #CCTK_C_ATTRIBUTE_PURE #CCTK_CXX_ATTRIBUTE_PURE #CCTK_CXX_MEMBER_ATTRIBUTE_PURE -# -## Find out whether the C compiler supports __attribute__((unused)) -#CCTK_C_ATTRIBUTE_UNUSED -#CCTK_CXX_ATTRIBUTE_UNUSED -# + +# Find out whether the C compiler supports __attribute__((unused)) +CCTK_C_ATTRIBUTE_UNUSED +CCTK_CXX_ATTRIBUTE_UNUSED + ## Find out whether the C compiler supports __attribute__((cold)) #CCTK_C_ATTRIBUTE_COLD #CCTK_CXX_ATTRIBUTE_COLD |