diff options
Diffstat (limited to 'tags/s/stripped-library.tag')
| -rw-r--r-- | tags/s/stripped-library.tag | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tags/s/stripped-library.tag b/tags/s/stripped-library.tag new file mode 100644 index 0000000..bdb8c94 --- /dev/null +++ b/tags/s/stripped-library.tag @@ -0,0 +1,8 @@ +Tag: stripped-library +Severity: error +Check: libraries/debug-symbols +Renamed-From: + library-in-debug-or-profile-should-not-be-stripped +Explanation: Libraries in <code>.../lib/debug</code> or in + <code>.../lib/profile</code> must not be stripped; this defeats the whole + point of the separate library. |