start a lint script

2018-11-30 21:47:10 -08:00
parent 0ba8a60ea5
commit 7ab57635f6
2 changed files with 6 additions and 0 deletions
--- a/script/lint
+++ b/script/lint
@@ -0,0 +1,5 @@
+#!/bin/bash -ex
+
+# Ensure the repository is clean after code generation.
+./script/generate
+test -z "$(git status --porcelain)"