Merge pull request microsoft#6484 from Microsoft/fixLinterInNightlies

DanielRosenwasser · DanielRosenwasser · commit 18da7ba587e8 · 2016-01-14T10:41:13.000-08:00
Temporarily use an older nightly so CI builds can succeed
diff --git a/Jakefile.js b/Jakefile.js
@@ -893,6 +893,7 @@ function getLinterOptions() {
 
 function lintFileContents(options, path, contents) {
     var ll = new Linter(path, contents, options);
+    console.log("Linting '" + path + "'.")
     return ll.lint();
 }
 
diff --git a/package.json b/package.json
@@ -36,7 +36,7 @@
         "istanbul": "latest",
         "mocha-fivemat-progress-reporter": "latest",
         "tslint": "next",
-        "typescript": "next",
+        "typescript": "1.8.0-dev.20160113",
         "tsd": "latest"
     },
     "scripts": {

Original file line number	Diff line number	Diff line change
`@@ -893,6 +893,7 @@ function getLinterOptions() {`
`893`	`893`
`894`	`894`	`function lintFileContents(options, path, contents) {`
`895`	`895`	`var ll = new Linter(path, contents, options);`
	`896`	`+ console.log("Linting '" + path + "'.")`
`896`	`897`	`return ll.lint();`
`897`	`898`	`}`
`898`	`899`