From 0f3141a5fcfbbe0f19ff773cfe0e63292bbc7abf Mon Sep 17 00:00:00 2001
From: Mark McGranaghan <mmcgrana@gmail.com>
Date: Wed, 29 May 2019 07:37:07 -0700
Subject: [PATCH] Remove bios.sh for now

---
 bios.sh | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100755 bios.sh

diff --git a/bios.sh b/bios.sh
deleted file mode 100755
index 3a3f525..0000000
--- a/bios.sh
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/bash
-set -ex
-
-mkdir -p src/$PKG && cd src/$PKG
-run -s "Cloning"  git clone $URL --branch $REF --single-branch .
-git reset --hard $SHA
-
-go get github.com/russross/blackfriday
-go get github.com/golang/lint/golint
-
-PKGS=$(go list $PKG/... | grep -v examples/variables)
-run -s "Linting"  golint -set_exit_status $PKGS
-
-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