1{ 2 // See https://go.microsoft.com/fwlink/?LinkId=733558 3 // for the documentation about the tasks.json format 4 "version": "2.0.0", 5 "tasks": [ 6 { 7 "label": "Mbed Config Root", 8 "type": "shell", 9 "command": "mbed config root .", 10 }, 11 { 12 "label": "Mbed Deploy", 13 "type": "shell", 14 "command": "mbed deploy", 15 }, 16 { 17 "label": "Mbed Patch C++11", 18 "type": "shell", 19 "command": "python", 20 "args": [ 21 "-c", 22 "import fileinput, glob;\nfor filename in glob.glob(\"mbed-os/tools/profiles/*.json\"):\n for line in fileinput.input(filename, inplace=True):\n print line.replace(\"\\\"-std=gnu++98\\\"\",\"\\\"-std=c++11\\\", \\\"-fpermissive\\\"\")" 23 ] 24 }, 25 { 26 "label": "Mbed Init", 27 "dependsOn": ["Mbed Config Root", "Mbed Deploy", "Mbed Patch C++11"] 28 }, 29 { 30 "label": "Mbed build", 31 "type": "shell", 32 "command": "mbed compile -m auto -t GCC_ARM", 33 "group": { 34 "kind": "build", 35 "isDefault": true 36 } 37 } 38 ] 39}