From 8f7306ff97456abff0af6517da5c7c1a3f736d6d Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Thu, 2 Nov 2017 06:03:23 +0000
Subject: [PATCH] Add run.sh.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 run.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 run.sh

diff --git a/run.sh b/run.sh
new file mode 100644
index 0000000..817f2fa
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+sage verify.sage .
+grep -Rn '.' verify-* |grep '^verify-.*:1:' |sed 's/:1:/ = /'
+