add dtslint to the main lint target

2026-01-18 16:27:28 +01:00 · 2019-05-01 14:53:38 +02:00
parent 71c0e52020
commit 90f2d90e46
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -4,6 +4,7 @@ test:
 	./node_modules/jasme/run.js
 lint:
 	node_modules/eslint/bin/eslint.js src
+	node_modules/.bin/dtslint types
 coverage:
 	node_modules/istanbul/lib/cli.js cover \
 		-i 'src/*' \