diff options
Diffstat (limited to 'coverity')
-rw-r--r-- | coverity/Makefile | 4 | ||||
-rwxr-xr-x | coverity/do_coverity | 2 |
2 files changed, 0 insertions, 6 deletions
diff --git a/coverity/Makefile b/coverity/Makefile index b22533e..8ae70ad 100644 --- a/coverity/Makefile +++ b/coverity/Makefile @@ -1,7 +1,3 @@ -# -# $Id$ -# - INSTALL_DIR=../bin SCRIPTS=do_coverity do_mail_coverity diff --git a/coverity/do_coverity b/coverity/do_coverity index 1a7fdd7..bb144d3 100755 --- a/coverity/do_coverity +++ b/coverity/do_coverity @@ -12,8 +12,6 @@ # + You have to be joel to run and submit official results. # + build.raw is very important if something goes wrong # -# $Id$ -# # # TODO: |