From a2452e3fe3a0f53e608c4b23a7fd30db98bc1391 Mon Sep 17 00:00:00 2001
From: Kyle Spearrin <kyle.spearrin@gmail.com>
Date: Wed, 13 Mar 2019 10:22:04 -0400
Subject: [PATCH] remove build-ci shell script

---
 build-ci.sh | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 build-ci.sh

diff --git a/build-ci.sh b/build-ci.sh
deleted file mode 100644
index 0510f2c06f..0000000000
--- a/build-ci.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/usr/bin/env bash
-set -e