Advertisement
Guest User

Untitled

a guest
Nov 29th, 2015
59
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.20 KB | None | 0 0
  1. // for GNU make
  2. {
  3. "version": "0.1.0",
  4. "command": "make",
  5.  
  6. // The command is a shell script
  7. "isShellCommand": true,
  8.  
  9. // Show the output window only if unrecognized errors occur.
  10. "showOutput": "silent"
  11. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement