mirror of
https://gitee.com/Lyon1998/pikapython.git
synced 2025-01-15 17:02:53 +08:00
3 lines
107 B
Bash
3 lines
107 B
Bash
echo write benchmark result to $1
|
|
Release/benchmark/pikascript_benchmark --benchmark_format=json | tee $1
|