mirror of
https://github.com/wassname/DefinitelyTyped.git
synced 2026-10-16 12:50:42 +08:00
Merge branch 'gulp-plugins'
This commit is contained in:
commit
84db5f1b59
1 file changed
+9
-1
@@ -44,4 +44,12 @@ gulp.task('tslint-json', function(){
|
||||
}
|
||||
}))
|
||||
.pipe(tslint.report('prose'));;
|
||||
});
|
||||
});
|
||||
|
||||
gulp.task("lint", () => {
|
||||
return gulp.src(["gulpfile.ts", "{src,test}/**/*.ts"])
|
||||
.pipe(tslint())
|
||||
.pipe(tslint.report("verbose", {
|
||||
emitError: true
|
||||
}));
|
||||
});
|
||||
Reference in new issue
Block a user