diff options
| author | Weicao-CatilGrass <1992414357@qq.com> | 2026-05-16 16:01:19 +0800 |
|---|---|---|
| committer | Weicao-CatilGrass <1992414357@qq.com> | 2026-05-16 16:01:19 +0800 |
| commit | 2f4adb93d3259cf1d64d9ecf24f96a5cf2fd2e28 (patch) | |
| tree | da8e238c59c324c08b3e75aa9105da4556f573e1 /run-tools.ps1 | |
| parent | 8366dce292eba95f38f9f79a038d974270b547e2 (diff) | |
Add support for Python scripts in run-tools
Diffstat (limited to 'run-tools.ps1')
| -rw-r--r-- | run-tools.ps1 | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/run-tools.ps1 b/run-tools.ps1 index 5aaa785..20c4565 100644 --- a/run-tools.ps1 +++ b/run-tools.ps1 @@ -13,7 +13,7 @@ if ($args.Count -eq 0) { Write-Host "Warning: dev_tools/src/bin directory does not exist" } if (Test-Path "dev_tools/scripts") { - $scripts = Get-ChildItem -Path "dev_tools/scripts/*.ps1" + $scripts = Get-ChildItem -Path "dev_tools/scripts/*.ps1", "dev_tools/scripts/*.py" foreach ($script in $scripts) { if ($script -is [System.IO.FileInfo]) { Write-Host $script.BaseName @@ -26,11 +26,14 @@ if ($args.Count -eq 0) { } $target_name = $args[0] -$script_file = "dev_tools/scripts/${target_name}.ps1" +$script_file_ps1 = "dev_tools/scripts/${target_name}.ps1" +$script_file_py = "dev_tools/scripts/${target_name}.py" $rust_file = "dev_tools/src/bin/${target_name}.rs" -if (Test-Path $script_file) { - & $script_file +if (Test-Path $script_file_ps1) { + & $script_file_ps1 +} elseif (Test-Path $script_file_py) { + python $script_file_py } elseif (Test-Path $rust_file) { cargo run --manifest-path dev_tools/Cargo.toml --bin $target_name --quiet } else { |
