diff options
| author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2012-05-15 16:07:33 -0500 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2012-05-15 16:07:33 -0500 |
| commit | ef065c7fec2fa2a4f316d2dc3a4d2524f0263300 (patch) | |
| tree | 12e0235f6b4c5a725be01265a4a3b0e4e04176bd /coverity | |
| parent | 9b2d9009310975553485a9685ae0a626c3efa3ce (diff) | |
rtems-testing - Remove CVS Ids (manual edits)
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: |