From b99b2cdbbf8e2b165452559eb6f842a4cc73d8ea Mon Sep 17 00:00:00 2001
From: Michael McLoughlin <mmcloughlin@gmail.com>
Date: Sun, 25 Nov 2018 17:00:14 -0800
Subject: [PATCH] script to run code generation

---
 script/generate | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 script/generate

diff --git a/script/generate b/script/generate
new file mode 100755
index 0000000..8393c99
--- /dev/null
+++ b/script/generate
@@ -0,0 +1,14 @@
+#!/bin/bash -ex
+
+# Install avogen (for bootstrapping).
+go install ./internal/cmd/avogen
+
+# Attempt to delete generated files, to prove we can recreate them.
+grep -REl 'Code generated.*DO NOT EDIT\.$' . | xargs rm -v
+
+# Generate once.
+go generate -v -x ./...
+
+# If the instruction database has changed, may need to repeat.
+go install ./internal/cmd/avogen
+go generate -v -x ./...