FilesExpand file tree

master

/

check_startup_budget.sh

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

executable file

·

13 lines (10 loc) · 380 Bytes

master

/

check_startup_budget.sh

Copy path

Top

File metadata and controls

• Code
• Blame

executable file

·

13 lines (10 loc) · 380 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

#!/usr/bin/env bash

set -euo pipefail

repo_root=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)

binary=${1:-"$repo_root/target/release/jcode"}

if [[ ! -x "$binary" ]]; then

echo "Binary not found or not executable: $binary" >&2

echo "Build it first with: cargo build --release" >&2

exit 1

fi

exec python3 "$repo_root/scripts/bench_startup.py" "$binary" --check --runs 3