1 files changed, 30 insertions, 0 deletions
diff --git a/contrib/cirrus/verify_source.sh b/contrib/cirrus/verify_source.sh
new file mode 100755
index 000000000..860bafc00
--- /dev/null
+++ b/contrib/cirrus/verify_source.sh
@@ -0,0 +1,30 @@
+#!/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