Browse Source

Re-enable coverage test

Matthew Wang 8 years ago
parent
commit
47c8527c79
1 changed files with 1 additions and 1 deletions
  1. 1
    1
      Makefile

+ 1
- 1
Makefile View File

19
 	sleep 1
19
 	sleep 1
20
 	rm -f output.html
20
 	rm -f output.html
21
 
21
 
22
-test: doc-check reg
22
+test: doc-check cov reg
23
 
23
 
24
 test3: doc-check cov3 reg3
24
 test3: doc-check cov3 reg3
25
 
25