Add run.sh.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:03:23 +00:00 · 2017-11-02 06:03:23 +00:00 · 8f7306ff97
parent 6280babe1b
commit 8f7306ff97
1 changed files with 4 additions and 0 deletions
--- a/run.sh
+++ b/run.sh
@ -0,0 +1,4 @@
+#!/bin/sh
+sage verify.sage .
+grep -Rn '.' verify-* |grep '^verify-.*:1:' |sed 's/:1:/ = /'
+