From 356bbdb5a69831ae224fc6c3df642d9b51c26f24 Mon Sep 17 00:00:00 2001
From: girst <girst@users.noreply.github.com>
Date: Sat, 16 Nov 2019 13:00:34 +0100
Subject: [PATCH] gulp: make lint failures fatal

required for upcoming release automation
---
 gulpfile.coffee | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gulpfile.coffee b/gulpfile.coffee
index 4b9573c..d1c93c7 100644
--- a/gulpfile.coffee
+++ b/gulpfile.coffee
@@ -158,6 +158,7 @@ gulp.task('lint-only', ->
   gulp.src(['extension/**/*.coffee', 'gulpfile.coffee'])
     .pipe(coffeelint())
     .pipe(coffeelint.reporter())
+    .pipe(coffeelint.reporter('fail'))
 )
 
 gulp.task('lint', gulp.series('lint-workaround', 'lint-only'))
-- 
2.39.3