Fix linux-readelf-py output (new _speedup.c usually changes it).
#143
| Job | Run time |
|---|---|
| 2m 17s | |
| 2m 22s | |
| 3m 59s | |
| 8m 38s |
linux-readelf-py output (new _speedup.c usually changes it).
#143
| Job | Run time |
|---|---|
| 2m 17s | |
| 2m 22s | |
| 3m 59s | |
| 8m 38s |