diff options
| author | Gertjan van den Burg <burg@ese.eur.nl> | 2017-01-02 10:10:17 +0100 |
|---|---|---|
| committer | Gertjan van den Burg <burg@ese.eur.nl> | 2017-01-02 10:10:17 +0100 |
| commit | f9001e859fc8091a0e5699d1592ca6b83da296dc (patch) | |
| tree | f8c03d47c69822a236561cfdc06590fe0c1344db | |
| parent | Added html documentation folder to .gitignore (diff) | |
| download | gensvm-f9001e859fc8091a0e5699d1592ca6b83da296dc.tar.gz gensvm-f9001e859fc8091a0e5699d1592ca6b83da296dc.zip | |
always run coverage when making docs
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -25,7 +25,7 @@ override LDFLAGS+=-lcblas -llapack -lm -latlas debug: CFLAGS += -DDEBUG debug: all -doc: +doc: cover $(DOXY) $(DOXYFILE) clean: @@ -47,6 +47,7 @@ cover: lib/libgensvm.a -o ./cover/coverage.all $(GENHTML) -o ./cover ./cover/coverage.all rm -f src/*.{gcda,gcno} tests/*.{gcda,gcno} + cp -r cover doc/html/ lib/libgensvm.a: $(OBJ) @ar rcs lib/libgensvm.a $(OBJ) |