diff options
| author | Bert Belder <bertbelder@gmail.com> | 2018-10-25 20:04:23 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2018-10-25 22:48:08 +0200 |
| commit | 00e4f7cf835cda09464d67fc1e1b966fc2214823 (patch) | |
| tree | d0923652f2ffaac4ddffb6f7eee874734890ef7b /tools/benchmark.py | |
| parent | 243a3ba2d0ea3cfa6aa1aa126a7eecf39dd76596 (diff) | |
build: fix compatibility with rustc 1.30.0
Additionally:
* Rebuild rust crates when the rustc version changes.
* Fetch all rust ldflags in one exec_script() call instead of two.
Diffstat (limited to 'tools/benchmark.py')
0 files changed, 0 insertions, 0 deletions