From b6e6ce87cb4cd80f7eb98f9f3d79644b41fb909b Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Wed, 19 Feb 2020 20:19:14 +0100
Subject: [PATCH] build: has no pretty option (closes #742)

---
 fdroidserver/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index d269e46d..ebcdc861 100644
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -1275,7 +1275,7 @@ def main():
         newpage = site.Pages['build']
         newpage.save('#REDIRECT [[' + wiki_page_path + ']]', summary='Update redirect')
 
-    common.write_status_json(status_output, options.pretty)
+    common.write_status_json(status_output)
 
     # hack to ensure this exits, even is some threads are still running
     common.force_exit()