to-be-integrated/third-party/codemirror-3.15/bin/lint

   1 #!/usr/bin/env node
   2
   3 var lint = require("../test/lint/lint");
   4
   5 if (process.argv.length > 2) {
   6   lint.checkDir(process.argv[2]);
   7 } else {
   8   process.chdir(__dirname.slice(0, __dirname.lastIndexOf("/")));
   9   lint.checkDir("lib");
  10   lint.checkDir("mode");
  11   lint.checkDir("addon");
  12   lint.checkDir("keymap");
  13 }
  14
  15 process.exit(lint.success() ? 0 : 1);