blob: 067ef7e98d624e79c587fcd034f3812f3349d579 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
[
{
"name": "tool_1",
"description": "This is tool 1",
"build_dir": "build",
"supported_systems": [
{
"name": "System 1"
}
],
"commands": {
"clean": [
"echo 'clean'"
],
"build": [
"echo 'build'"
],
"run": [
"echo 'run'"
],
"post_run": [
"echo 'post_run'"
]
},
"user_params": {
"build": [],
"run": []
}
}
]
|
