Fix a newly introduced bug in run_tests.sh.

diff --git a/tests/run_tests.sh b/tests/run_tests.sh
index 691216b99353821034ddf05d11c5c23b35d27b3a..8af47490d372a07ea334804aa5f7a22b009ec58e 100755 (executable)
--- a/tests/run_tests.sh
+++ b/tests/run_tests.sh
@@ -8,6 +8,7 @@ UNITTEST=0
 INTEGRATION=0
 FAILURES=0
 TESTS_RUN=0
+COVERAGE=0
 
 dup() {
     if [ $# -ne 2 ]; then