summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJoel Sherrill <joel@rtems.org>2017-11-09 15:09:47 -0600
committerJoel Sherrill <joel@rtems.org>2017-11-09 15:09:47 -0600
commitbfe741c9a4689817b8abb12a7017e2e427c894a5 (patch)
tree878415b8efb79c5270ca54fa7c522d22c5cb0acc
parentsim-scripts: Remove obsolete ignores (diff)
downloadrtems-testing-bfe741c9a4689817b8abb12a7017e2e427c894a5.tar.bz2
coverity/Makefile: Reduce to no actions
-rw-r--r--coverity/Makefile8
1 files changed, 2 insertions, 6 deletions
diff --git a/coverity/Makefile b/coverity/Makefile
index 8ae70ad..476dacf 100644
--- a/coverity/Makefile
+++ b/coverity/Makefile
@@ -1,16 +1,12 @@
INSTALL_DIR=../bin
-SCRIPTS=do_coverity do_mail_coverity
+SCRIPTS=do_coverity_newlib do_coverity_rtems do_coverity_rtems-tools
+
all: prep ${SCRIPTS} install
prep:
- test -d ${INSTALL_DIR} || mkdir ${INSTALL_DIR}
clean:
install:
- for i in ${SCRIPTS} ; do \
- cp $${i} ${INSTALL_DIR}/$${i} ; \
- chmod +x ${INSTALL_DIR}/$${i} ; \
- done