From c268bf28b08887e5fd4520fe186157c5dfc0fa08 Mon Sep 17 00:00:00 2001 From: Antonio Murdaca Date: Tue, 20 Sep 2016 10:23:32 +0200 Subject: [PATCH] remove .tool/check-license Signed-off-by: Antonio Murdaca --- .tool/check-license | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 .tool/check-license diff --git a/.tool/check-license b/.tool/check-license deleted file mode 100755 index ab6f803b..00000000 --- a/.tool/check-license +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -set -o nounset -set -o pipefail - -ret=0 - -for file in $(find . -type f -iname '*.go' ! -path './vendor/*'); do - (head -n3 "${file}" | grep -Eq "(Copyright|generated|GENERATED)") || (echo "${file}:missing license header" && ret=1) -done - -exit $ret