{
    "version": "2.0.0",
    "tasks": [
        {
            "label": "Build via Makefile",
            "type": "shell",
            "command": "mingw32-make",
            "args": ["${input:target}"],
            "options": {
                "cwd": "${workspaceFolder}"
            },
            "group": {
                "kind": "build",
                "isDefault": true
            },
            "problemMatcher": "$gcc"
        }
    ],
    "inputs": [
        {
            "id": "target",
            "type": "pickString",
            "description": "Welches Makefile-Target soll gebaut werden?",
            "options": ["test_stack", "test_numbers", "test_bintree", "doble", "unitTests"]
        }
    ]
}