From 6623657ef34df9e4c703c377021cb79404f09e28 Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@kastelo.net>
Date: Sat, 15 Jul 2017 17:06:06 +0200
Subject: [PATCH] build: The default build step already includes linting

---
 build.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build.sh b/build.sh
index cecd6b0d3..14fa68ff1 100755
--- a/build.sh
+++ b/build.sh
@@ -17,7 +17,6 @@ build() {
 case "${1:-default}" in
 	default)
 		build
-		build lint
 		;;
 
 	clean)