diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2012-01-21 15:21:16 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2012-01-21 15:21:16 +0100 |
| commit | 7c704c78d3c652504c064b4ac7af55a2c1ee49bb (patch) | |
| tree | 623358cf25839219ef4fd90eea4f3eaa55389a1f /boost/makefile.mk | |
| parent | 0d5167915b47df7c3e450614ea50d845ba959df3 (diff) | |
Removed some unused parameters; added SAL_UNUSED_PARAMETER.
SAL_UNUSED_PARAMETER (expanding to __attribute__ ((unused)) for GCC)
is used to annotate legitimately unused parameters, so that static
analysis tools can tell legitimately unused parameters from truly
unnecessary ones. To that end, some patches for external modules
are also added, that are only applied when compiling with GCC and
add necessary __attribute__ ((unused)) in headers.
Diffstat (limited to 'boost/makefile.mk')
| -rw-r--r-- | boost/makefile.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/boost/makefile.mk b/boost/makefile.mk index f9cd078257a1..093566bb579c 100644 --- a/boost/makefile.mk +++ b/boost/makefile.mk @@ -66,6 +66,11 @@ PATCH_FILES+=boost.6397.warnings.patch PATCH_FILES+=boost.windows.patch +# Help static analysis tools (see SAL_UNUSED_PARAMETER in sal/types.h): +.IF "$(COM)" == "GCC" +PATCH_FILES += boost_1_44_0-unused-parameters.patch +.END + ADDITIONAL_FILES= \ libs/thread/src/win32/makefile.mk \ libs/date_time/src/gregorian/makefile.mk |