replace run_cmd
with run_shell_cmd
in boost.py
#95
Job | Run time |
---|---|
1m 24s | |
1m 23s | |
53s | |
1m 9s | |
1m 16s | |
1m 23s | |
1m 25s | |
1m 26s | |
1m 35s | |
1m 52s | |
1m 27s | |
2m 7s | |
2m 1s | |
1m 57s | |
1m 56s | |
23m 14s |