From ab1b11deb43e79209666fd41ea1db8f7998f115e Mon Sep 17 00:00:00 2001 From: Jonathan Lange Date: Tue, 3 Jan 2017 12:33:43 +0000 Subject: [PATCH] Fix lint --- lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lint b/lint index 15a97d4cdd..566e329b66 100755 --- a/lint +++ b/lint @@ -173,7 +173,7 @@ lint() { coverage.html) return ;; esac - if [[ "$(file --mime-type "${filename}" | awk '{print $2}')" = "text/x-shellscript" ]]; then + if [[ "$(file --mime-type "${filename}" | awk '{print $2}')" == "text/x-shellscript" ]]; then ext="sh" fi