From 7118f25d5ae82d89d33fff660adaa08bd0b67295 Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Tue, 6 Jun 2017 00:52:04 -0400
Subject: [PATCH] Add a small tool for making logs from checkfiles.

Useful because the context in checkfiles makes them easier to edit
than plain logfiles are.
---
 tests/decheck | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 tests/decheck

diff --git a/tests/decheck b/tests/decheck
new file mode 100755
index 0000000..7e1be39
--- /dev/null
+++ b/tests/decheck
@@ -0,0 +1,3 @@
+#!/bin/sh
+# Turn a non-oldstyle checkfile on stdin into an equivalent log on stdout.
+sed -n -e '/> /s///p'
-- 
2.31.1