diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-04-15 12:09:19 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-04-15 12:09:19 +0800 |
| commit | 9f3ceb1419f5e72fe684ae6e64568e3a14c6013c (patch) | |
| tree | 8a5110380f255acc889dcea444e81aff38b12cdb /run-tools.sh | |
| parent | 003670b272709fa73d639902c4a04348b3bc38bb (diff) | |
Rename refresh-examples to refresh-docs and add quiet flag
Diffstat (limited to 'run-tools.sh')
| -rwxr-xr-x | run-tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tools.sh b/run-tools.sh index c0c2c4a..8faf80f 100755 --- a/run-tools.sh +++ b/run-tools.sh @@ -29,7 +29,7 @@ if [ -f "$target_script" ]; then chmod +x "$target_script" "$target_script" elif [ -f "$target_file" ]; then - cargo run --manifest-path dev_tools/Cargo.toml --bin "$1" + cargo run --manifest-path dev_tools/Cargo.toml --bin "$1" --quiet else echo "Error: target '$target_bin' does not exist" exit 1 |