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: