diff options
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 { |