diff options
author | Bernardo <[email protected]> | 2019-04-14 11:45:36 +0100 |
---|---|---|
committer | Bernardo <[email protected]> | 2019-04-19 19:54:36 +0100 |
commit | 3d3adabbef9290097fd890218d5d8ea6c1d8c002 (patch) | |
tree | e74be3fb528ca985b9b21ac05840b8e9830c955d /editors | |
parent | 1ae6571762cab605a84a731e10c89d8f3f00eef8 (diff) |
recover rustc-watch problemMatchers
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/package.json | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index c58171a71..dd9843241 100644 --- a/editors/code/package.json +++ b/editors/code/package.json | |||
@@ -260,6 +260,18 @@ | |||
260 | "${workspaceRoot}" | 260 | "${workspaceRoot}" |
261 | ], | 261 | ], |
262 | "pattern": "$rustc" | 262 | "pattern": "$rustc" |
263 | }, | ||
264 | { | ||
265 | "name": "rustc-watch", | ||
266 | "fileLocation": [ | ||
267 | "relative", | ||
268 | "${workspaceRoot}" | ||
269 | ], | ||
270 | "background": { | ||
271 | "beginsPattern": "^\\[Running\\b", | ||
272 | "endsPattern": "^\\[Finished running\\b" | ||
273 | }, | ||
274 | "pattern": "$rustc" | ||
263 | } | 275 | } |
264 | ] | 276 | ] |
265 | } | 277 | } |