summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJoel Sherrill <joel.sherrill@OARcorp.com>2010-06-13 15:07:39 +0000
committerJoel Sherrill <joel.sherrill@OARcorp.com>2010-06-13 15:07:39 +0000
commitec6aa44a1ba2c92ccc9115f79a860f4d0b9cdf6a (patch)
tree7621116d6e07c83b9ab83900201356ba47f7a0bb /Makefile
parentb3586a44bd9c4a2c19c3932638998ee0e3b5ba69 (diff)
2010-06-13 Joel Sherrill <joel.sherrilL@OARcorp.com>
* Makefile: Adding coverity scripts.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 66dd711..d647b59 100644
--- a/Makefile
+++ b/Makefile
@@ -9,18 +9,21 @@ all:
make -C sim-scripts
make -C cvs-helpers
make -C merge-helpers
+ make -C coverity
install:
make -C covoar install
make -C sim-scripts install
make -C cvs-helpers install
make -C merge-helpers install
+ make -C coverity install
clean:
make -C covoar clean
make -C sim-scripts clean
make -C cvs-helpers clean
make -C merge-helpers clean
+ make -C coverity clean
rm -rf bin
up: