From 1d183eabf1890882f376632e6ba187486590f68c Mon Sep 17 00:00:00 2001
From: Umair Khan <umair.waheed@gmail.com>
Date: Tue, 6 Jun 2017 15:06:41 +0500
Subject: [PATCH] testing: Write the .coverage file.

We need to call save explicitly to make coverage write the
.coverage file.
---
 tools/test-backend | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/test-backend b/tools/test-backend
index d449e2af2b..486e21b174 100755
--- a/tools/test-backend
+++ b/tools/test-backend
@@ -328,6 +328,8 @@ if __name__ == "__main__":
         cov.stop()
         cov.save()
         cov.combine()
+        cov.data_suffix = False  # Disable suffix so that filename is .coverage
+        cov.save()
         if options.verbose_coverage:
             print("Printing coverage data")
             cov.report(show_missing=False)