1 files changed, 0 insertions, 30 deletions
diff --git a/contrib/cirrus/verify_source.sh b/contrib/cirrus/verify_source.sh
deleted file mode 100755
index 860bafc00..000000000
--- a/contrib/cirrus/verify_source.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/bash
-
-set -e
-source $(dirname $0)/lib.sh
-
-req_env_var "
-OS_RELEASE_ID $OS_RELEASE_ID
-OS_RELEASE_VER $OS_RELEASE_VER
-"
-
-show_env_vars
-
-set -x
-cd "$GOSRC"
-
-case "${OS_RELEASE_ID}-${OS_RELEASE_VER}" in
-    ubuntu-18)
-        make install.tools "BUILDTAGS=$BUILDTAGS"
-        make validate "BUILDTAGS=$BUILDTAGS"
-        # make lint "BUILDTAGS=$BUILDTAGS"
-        ;;
-    fedora-28) ;&
-    centos-7) ;&
-    rhel-7)
-        make install.tools
-        make validate
-        # make lint
-        ;;
-    *) bad_os_id_ver ;;
-esac