Fix missing copyright header

1 files changed, 6 insertions, 1 deletions

diff --git a/gulpfile.js b/gulpfile.js
index dd7dba9d993..5aa3bf0d4db 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -52,12 +52,17 @@ var ALL_EDITOR_TASKS = [
 	'minify-editor',
 	'clean-editor-distro',
 	'editor-distro',
-	'analyze-editor-distro'
+	'analyze-editor-distro',
+
+	// hygiene tasks
+	'tslint',
+	'hygiene',
 ];
 var runningEditorTasks = process.argv.length > 2 && process.argv.slice(2).every(function(arg) { return (ALL_EDITOR_TASKS.indexOf(arg) !== -1); });
 
 if (runningEditorTasks) {
 	require(`./build/gulpfile.editor`);
+	require(`./build/gulpfile.hygiene`);
 } else {
 	// Load all the gulpfiles only if running tasks other than the editor tasks
 	const build = path.join(__dirname, 'build');