Fix merge conflict with recent PR

1 files changed, 9 insertions, 0 deletions

diff --git a/src/test/run-make-fulldeps/instrument-coverage/prettify_json.py b/src/test/run-make-fulldeps/instrument-coverage/prettify_json.py
new file mode 100644
index 00000000000..ed9279841f7
--- /dev/null
+++ b/src/test/run-make-fulldeps/instrument-coverage/prettify_json.py
@@ -0,0 +1,9 @@
+#!/usr/bin/env python
+
+import sys
+import json
+
+# Try to decode line in order to ensure it is a valid JSON document
+for line in sys.stdin:
+    parsed = json.loads(line)
+    print (json.dumps(parsed, indent=2, separators=(',', ': '), sort_keys=True))