From 91bff5c186ae0eaba58f8cf7becae35622681a67 Mon Sep 17 00:00:00 2001
From: Rob Moran <rob.moran@arm.com>
Date: Sun, 11 Mar 2018 12:08:19 +0000
Subject: [PATCH] Fix latest tslint usage

---
 gulpfile.js | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index 8c23359..442c2ed 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -2,13 +2,12 @@ var path        = require("path");
 var browserify  = require("browserify");
 var del         = require("del");
 var merge       = require("merge2");
-var tslint      = require("tslint");
 var buffer      = require("vinyl-buffer");
 var source      = require("vinyl-source-stream");
 var gulp        = require("gulp");
 var sourcemaps  = require("gulp-sourcemaps");
-var gulpTs      = require("gulp-typescript");
-var gulpTslint  = require("gulp-tslint");
+var typescript  = require("gulp-typescript");
+var tslint      = require("gulp-tslint");
 var uglify      = require("gulp-uglify");
 
 // Source
@@ -44,14 +43,11 @@ gulp.task("clean", () => {
 
 // Lint the source
 gulp.task("lint", () => {
-    var program = tslint.Linter.createProgram("./");
-
     return gulp.src(srcFiles)
-    .pipe(gulpTslint({
-        program: program,
+    .pipe(tslint({
         formatter: "stylish"
     }))
-    .pipe(gulpTslint.report({
+    .pipe(tslint.report({
         emitError: !watching
     }))
 });
@@ -60,7 +56,7 @@ gulp.task("lint", () => {
 gulp.task("compile", ["clean"], () => {
     var tsResult = gulp.src(srcFiles)
     .pipe(sourcemaps.init())
-    .pipe(gulpTs.createProject("tsconfig.json")())
+    .pipe(typescript.createProject("tsconfig.json")())
     .on("error", handleError);
 
     return merge([