add workaround for gulp4 not updating file timestamps on build

1 files changed, 2 insertions, 1 deletions

diff --git a/gulpfile.js b/gulpfile.js
index e04cc85d0..ca766dcce 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -1,6 +1,7 @@
 // Less configuration
 const gulp = require('gulp');
 const less = require('gulp-less');
+const touch = require('gulp-touch-fd');
 
 function swallowError(error) {
 	console.log(error.toString())
@@ -18,7 +19,7 @@ gulp.task('less', function(cb) {
       gulp.dest(function(f) {
         return f.base;
       })
-    );
+    ).pipe(touch());
   cb();
 });