Remove old lint targets

2019-12-18 15:07:53 +01:00
parent 9346e328ef
commit bcd47fc6f3
2 changed files with 2 additions and 22 deletions
--- a/scripts/gofmt
+++ b/scripts/gofmt
@@ -1,7 +0,0 @@
-#!/bin/bash -e
-
-result=$( go fmt $@ )
-if [[ $result != "" ]]; then
-    >&2 echo "The following files are not formatted correctly: $result"
-    exit 1
-fi