diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/ci_build.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 8c899e63d..9f6a01e4c 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -221,6 +221,8 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro flags += ['--cc-bin=%s' % (ccache)] else: flags += ['--cc-bin=%s %s' % (ccache, cc_bin)] + # Avoid putting the revision in build.h, which helps ccache hit rates + flags += ['--no-store-vc-rev'] if test_cmd is None: run_test_command = None |