Index: third_party/WebKit/Source/devtools/package.json |
diff --git a/third_party/WebKit/Source/devtools/package.json b/third_party/WebKit/Source/devtools/package.json |
index 3acfd7ffad28f6893df03191074ee006b5d22441..02b0b2639bbe82abe6065100bb651c20f843ec89 100644 |
--- a/third_party/WebKit/Source/devtools/package.json |
+++ b/third_party/WebKit/Source/devtools/package.json |
@@ -3,7 +3,8 @@ |
"description": "Chrome DevTools UI", |
"scripts": { |
"server": "node scripts/hosted_mode/server.js", |
- "test": "echo \"Error: no test specified\" && exit 1" |
+ "test": "echo \"Error: no test specified\" && exit 1", |
+ "lint": "eslint -c front_end/.eslintrc.js --ignore-path front_end/.eslintignore front_end" |
chenwilliam
2016/08/25 20:41:10
Eventually we can use this simple npm script inste
|
}, |
"repository": { |
"type": "git", |