build: The default build step already includes linting

2017-07-15 17:06:06 +02:00 · 2017-07-15 17:06:06 +02:00 · 6623657ef3
parent 4405117bea
commit 6623657ef3
1 changed files with 0 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
@ -17,7 +17,6 @@ build() {
 case "${1:-default}" in
 	default)
 		build
-		build lint
 		;;

 	clean)