diff options
| author | Jack Lloyd <[email protected]> | 2018-12-23 15:53:32 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-12-23 15:53:32 -0500 |
| commit | 98c21258228bbee8199ace8d9f5e0c52c9b9d901 (patch) | |
| tree | bfbbf29ef41c257c3719b602f8576c8667cf0927 /src | |
| parent | 7302af79bb8341607fbcd72e2d5af09456b4b17e (diff) | |
Add --no-store-vc-rev option for use in CI builds
This skips putting the git revision in the build.h header. This value
changing every time means we effectively disable ccache's direct mode
(which is faster than preprocessor mode) and also prevent any caching
of the amalgamation file (since version.cpp expands the macro).
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 |