From 8753360214126f426fcbc0ad9fe9b1445e64b311 Mon Sep 17 00:00:00 2001
From: Mark McGranaghan <mmcgrana@gmail.com>
Date: Thu, 1 Feb 2018 17:14:49 -0500
Subject: [PATCH] Verify the checked-in build

Extend bios.sh to ensure that the there are no changes in
the build-time git repo after `tools/build` has been run.
This ensures that the checked-in .go and .sh sources match
the check-in public/ files.
---
 bios.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bios.sh b/bios.sh
index fabadba..3a3f525 100755
--- a/bios.sh
+++ b/bios.sh
@@ -15,3 +15,5 @@ PKGS=$(go list $PKG/... | grep -v examples/panic)
 run -s "Vetting"  go vet -x $PKGS
 
 run -s "Building" tools/build
+
+run -s "Verifying" git diff --exit-code