diff options
author | Joel Sherrill <joel@rtems.org> | 2017-11-09 15:09:47 -0600 |
---|---|---|
committer | Joel Sherrill <joel@rtems.org> | 2017-11-09 15:09:47 -0600 |
commit | bfe741c9a4689817b8abb12a7017e2e427c894a5 (patch) | |
tree | 878415b8efb79c5270ca54fa7c522d22c5cb0acc | |
parent | sim-scripts: Remove obsolete ignores (diff) | |
download | rtems-testing-bfe741c9a4689817b8abb12a7017e2e427c894a5.tar.bz2 |
coverity/Makefile: Reduce to no actions
-rw-r--r-- | coverity/Makefile | 8 |
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 |