From d41ed768dc4e9adee5748d3d4d6a8c8678f97173 Mon Sep 17 00:00:00 2001
From: Dan Halbert <halbert@halwitz.org>
Date: Wed, 9 Jan 2019 16:18:52 -0500
Subject: Fix sphinx build issues; add better travis fold reporting; update
 author info

---
 tools/print_status.py | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 tools/print_status.py

(limited to 'tools')

diff --git a/tools/print_status.py b/tools/print_status.py
new file mode 100755
index 000000000..ed563fd68
--- /dev/null
+++ b/tools/print_status.py
@@ -0,0 +1,15 @@
+#!/usr/bin/env python3
+
+import sys
+if len(sys.argv) != 2:
+    print("""\
+Usage: print_status.py STATUS_FILENAME
+    STATUS_FILENAME contains one line with an integer status."""
+    )
+    sys.exit(1)
+with open(sys.argv[1], 'r') as status_in:
+    status = int(status_in.readline())
+
+print('{} with status {}'.format(
+    "\033[32msucceeded\033[0m" if status == 0 else "\033[31mfailed\033[0m",
+    status))
-- 
cgit v1.2.3