Guest User

Untitled

a guest
Nov 12th, 2018
666
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.80 KB | None | 0 0
  1. {
  2.     "cmd": ["g++", "${file}", "-o", "${file_path}/${file_base_name}", "-Wall", "-Wextra", "-pedantic", "-Wshadow",
  3.         "-Wformat=2", "-std=gnu++17", "-O2", "-D_GLIBCXX_DEBUG", "-D_GLIBCXX_DEBUG_PEDANTIC","-fsanitize=address", "-fsanitize=undefined", "-fno-sanitize-recover", "-fstack-protector","-DPRINTERS"],
  4.     "file_regex": "^(..[^:]*):([0-9]+):?([0-9]+)?:? (.*)$",
  5.     "working_dir": "${file_path}",
  6.     "selector": "source.c, source.c++, source.cxx, source.cpp",
  7.     "variants":
  8.     [
  9.         {
  10.             "name": "Run",
  11.             "shell": true,
  12.             "cmd": ["gnome-terminal -- bash -c \"ulimit -s unlimited; ${file_path}/${file_base_name}; read line;exit; exec bash\""]
  13.         },
  14.         {
  15.             "name": "Fast",
  16.             "shell": false,
  17.             "cmd": ["g++", "${file}", "-o", "${file_path}/${file_base_name}","-std=gnu++17", "-O2","-DPRINTERS"]
  18.         }
  19.     ]
  20. }
Add Comment
Please, Sign In to add comment