diff options
| author | Romir K <romir.kulshrestha@gmail.com> | 2026-03-10 21:20:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-03-10 21:20:50 +0100 |
| commit | 301ee908e1409c6d42e85c9431d01a92be676753 (patch) | |
| tree | e08ea2f3a66cf3efa2dcdbeebd1aa6dc2f25424a | |
| parent | 5df9a24dbfa69884ac473c1e6c15187371362980 (diff) | |
Delete run.zsh
| -rwxr-xr-x | run.zsh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/run.zsh b/run.zsh deleted file mode 100755 index be3704c..0000000 --- a/run.zsh +++ /dev/null @@ -1,21 +0,0 @@ -#!/usr/bin/env bash -set -uo pipefail - -BINARY=./target/debug/oryx -COUNT=${COUNT:-100} - -success=0 -fail=0 - -for ((i=1; i<=COUNT; i++)); do - printf '%3d: ' "$i" - if "$BINARY" "$@"; then - echo success - ((success++)) - else - echo fail - ((fail++)) - fi -done - -echo "Done: $success succeeded, $fail failed"
\ No newline at end of file |