diff options
Diffstat (limited to '')
-rw-r--r-- | tags/b/binary-compiled-with-profiling-enabled.tag | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tags/b/binary-compiled-with-profiling-enabled.tag b/tags/b/binary-compiled-with-profiling-enabled.tag new file mode 100644 index 0000000..8d4f537 --- /dev/null +++ b/tags/b/binary-compiled-with-profiling-enabled.tag @@ -0,0 +1,7 @@ +Tag: binary-compiled-with-profiling-enabled +Severity: warning +Check: binaries/profiling +Explanation: Profiling is useful for testing and debugging, but running + this program will leave around files named <code>gmon.out</code>. + . + You should probably disable profiling, or perhaps override the tag. |